Trace number 4483899

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+pbsuma-opt-log 63f22ad? (TO) 3602.07 3612.81

General information on the benchmark

NamePB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_seq/
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_sequential.opb
MD5SUMdbf55fafe8c36fc4d34bf230f66c30bf
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-738
Best CPU time to get the best result obtained on this benchmark72002.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables81322
Total number of constraints161483
Number of constraints which are clauses161482
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 389
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 1251
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 13703
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4483899-1751280833.opb'
0.06/0.12	c 	read 5.37MB  (93.81ms)
0.06/0.12	c	 [cnf: #variables 81322 #clauses 161484 #duplicates 0 #arr 423871]
0.06/0.13	c output proof to 'PROOFDIR/proof-4483899-1751280833'
0.06/0.13	c 
0.06/0.13	c make graph and approximate orbits
0.16/0.25	c	 [group: #orbits ~= 24738] (124.66ms)
0.16/0.25	c 
0.16/0.25	c detect special group actions
0.16/0.25	c 	probe for Johnson action (limit=64)
0.16/0.25	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.16/0.28	c 	probe for row symmetry (limit=64, splits=16.78M)
0.16/0.28	c 	 (30.57ms)
0.16/0.28	c 
0.16/0.28	c detect symmetries on remainder
0.16/0.29	c 	[graph: #vertices 490770 #edges 1343670]
0.16/0.29	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.36/0.46	c 	 [group: #symmetries 7.67*10^73 #generators 166] (171.91ms)
0.36/0.46	c 
0.36/0.46	c optimize generators (opt_passes=64, conjugate_limit=256)
0.36/0.46	c 	ran it=0, +gens=1 
0.95/1.00	c 	con best_support=532, best_gens=166, +gens=49
0.95/1.00	c 	(547.22ms)
0.95/1.00	c 
0.95/1.00	c finalize break order and special generators
0.95/1.01	c 
0.95/1.01	c add generic predicates (break_depth=20)
0.95/1.01	c 	added predicates for 216 generators (1.10ms)
1.05/1.11	c 
1.05/1.11	c generation finished
1.05/1.11	c 	[sbp: #constraints 12528 #add_vars 4104]
1.05/1.12	c 
1.05/1.12	c write result to 'HOME/instance-4483899-1751280833.opb.pre'
1.05/1.13	c 	wrote 5.97MB (13.00ms)
1.05/1.13	c ------------------------------------------------------------------
1.05/1.13	c                 547.22ms 49.45% optimize_gens
1.05/1.13	c                 171.91ms 15.53% detect_generic
1.05/1.13	c                 124.66ms 11.26% approx_orbits
1.05/1.13	c                 120.08ms 10.85% other
1.05/1.13	c                  93.81ms  8.48% parse
1.05/1.13	c                  30.57ms  2.76% detect_special
1.05/1.13	c                  13.00ms  1.17% output
1.05/1.13	c                   4.32ms  0.39% finalize_order
1.05/1.13	c                   1.10ms  0.10% break_generic
1.05/1.13	c         ───────────────────────────────────────────────
1.05/1.13	c                1106.67ms   100% total
1.05/1.13	c ------------------------------------------------------------------
1.05/1.19	c RoundingSat 2
1.05/1.19	c branch pb25
1.05/1.19	c commit 63f22ad
2.01/2.19	c #variables 85426 #constraints 174010
2.01/2.19	c objective is ce32 
2.01/2.19	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.01/2.19	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
2.01/2.19	c bounds - >= -1251 @ 0.79836
2.70/2.87	c bounds 0 >= -1251 @ 1.42251
2.80/2.97	c bounds -256 >= -1251 @ 1.5123
3.50/3.64	c bounds -264 >= -1251 @ 2.16678
4.70/4.89	c bounds -265 >= -1251 @ 3.38037
7.69/7.82	c bounds -267 >= -1251 @ 6.26157
15.37/15.59	c bounds -268 >= -1251 @ 13.9375
31.34/31.50	c rational objective -809.4
32.28/32.55	c bounds -269 >= -1251 @ 30.5913
32.28/32.57	c bounds -271 >= -1251 @ 30.6127
32.28/32.59	c bounds -272 >= -1251 @ 30.634
32.38/32.61	c bounds -273 >= -1251 @ 30.6555
33.18/33.49	c #Conflicts:       1000 | #Constraints:     175022
33.18/33.49	c bounds -464 >= -1251 @ 31.5091
33.28/33.51	c bounds -468 >= -1251 @ 31.5302
33.28/33.53	c bounds -470 >= -1251 @ 31.5498
33.28/33.56	c bounds -472 >= -1251 @ 31.5703
33.28/33.58	c bounds -473 >= -1251 @ 31.5909
33.38/33.60	c bounds -481 >= -1251 @ 31.6114
33.38/33.62	c bounds -482 >= -1251 @ 31.6311
33.38/33.64	c bounds -483 >= -1251 @ 31.6517
33.38/33.66	c bounds -487 >= -1251 @ 31.6723
33.38/33.69	c bounds -488 >= -1251 @ 31.6939
33.48/33.71	c bounds -489 >= -1251 @ 31.7155
33.48/33.73	c bounds -490 >= -1251 @ 31.7372
33.48/33.75	c bounds -492 >= -1251 @ 31.7586
33.48/33.77	c bounds -493 >= -1251 @ 31.7783
33.48/33.79	c bounds -494 >= -1251 @ 31.7999
33.58/33.82	c bounds -498 >= -1251 @ 31.8206
33.58/33.84	c bounds -500 >= -1251 @ 31.8422
33.58/33.86	c bounds -501 >= -1251 @ 31.8639
33.58/33.88	c bounds -502 >= -1251 @ 31.8844
33.68/33.90	c bounds -503 >= -1251 @ 31.9049
33.68/33.92	c bounds -505 >= -1251 @ 31.9245
33.68/33.95	c bounds -506 >= -1251 @ 31.9441
33.68/33.97	c bounds -507 >= -1251 @ 31.9646
33.68/33.99	c bounds -509 >= -1251 @ 31.9841
33.78/34.01	c bounds -513 >= -1251 @ 32.0061
33.78/34.03	c bounds -521 >= -1251 @ 32.026
33.78/34.05	c bounds -522 >= -1251 @ 32.0476
33.78/34.08	c bounds -523 >= -1251 @ 32.0693
33.78/34.10	c bounds -524 >= -1251 @ 32.0934
33.88/34.17	c bounds -525 >= -1251 @ 32.1619
33.88/34.19	c bounds -527 >= -1251 @ 32.1829
44.26/44.58	c #Conflicts:       2000 | #Constraints:     176053
44.26/44.58	c INPROCESSING
44.26/44.58	c GARBAGE COLLECT
44.26/44.58	c bounds -528 >= -1251 @ 42.3492
45.76/46.01	c #Conflicts:       3000 | #Constraints:     172022
45.76/46.01	c #Conflicts:       4000 | #Constraints:     173022
45.76/46.01	c INPROCESSING
45.76/46.01	c GARBAGE COLLECT
45.76/46.01	c bounds -529 >= -1251 @ 43.7418
45.76/46.03	c bounds -530 >= -1251 @ 43.7625
45.76/46.05	c bounds -532 >= -1251 @ 43.7874
47.45/47.71	c bounds -533 >= -1251 @ 45.4044
47.45/47.72	c bounds -533 >= -1183 @ 45.4108
47.45/47.74	c bounds -533 >= -1179 @ 45.4301
48.35/48.69	c #Conflicts:       5000 | #Constraints:     172395
48.35/48.69	c bounds -533 >= -1175 @ 46.3182
48.45/48.72	c bounds -534 >= -1175 @ 46.3442
49.54/49.83	c bounds -535 >= -1175 @ 47.4284
52.64/52.90	c #Conflicts:       6000 | #Constraints:     173406
52.64/52.90	c INPROCESSING
52.64/52.90	c GARBAGE COLLECT
52.64/52.90	c bounds -536 >= -1175 @ 50.4363
53.24/53.51	c bounds -537 >= -1175 @ 51.0347
53.94/54.25	c #Conflicts:       7000 | #Constraints:     172302
53.94/54.25	c bounds -539 >= -1175 @ 51.7543
57.83/58.17	c bounds -540 >= -1175 @ 55.6193
57.83/58.17	c bounds -540 >= -1173 @ 55.6203
57.83/58.17	c bounds -540 >= -1171 @ 55.6215
57.83/58.18	c bounds -540 >= -1111 @ 55.6241
57.83/58.19	c #Conflicts:       8000 | #Constraints:     173316
57.83/58.19	c bounds -540 >= -1109 @ 55.6402
57.93/58.20	c bounds -540 >= -1107 @ 55.6455
57.93/58.21	c bounds -540 >= -1105 @ 55.6627
57.93/58.24	c bounds -540 >= -1103 @ 55.6905
57.93/58.25	c bounds -540 >= -1101 @ 55.6965
57.93/58.26	c bounds -540 >= -1099 @ 55.7008
57.93/58.27	c bounds -540 >= -1097 @ 55.7109
57.93/58.28	c bounds -540 >= -1095 @ 55.728
58.03/58.31	c bounds -540 >= -1093 @ 55.7548
58.03/58.33	c bounds -540 >= -1091 @ 55.7695
58.03/58.36	c bounds -540 >= -1089 @ 55.7992
58.03/58.38	c bounds -540 >= -1087 @ 55.8219
58.13/58.43	c bounds -540 >= -1085 @ 55.8701
58.23/58.50	c bounds -540 >= -1083 @ 55.9381
58.23/58.55	c bounds -540 >= -1081 @ 55.9781
58.23/58.57	c bounds -540 >= -1079 @ 55.9984
58.32/58.65	c bounds -540 >= -1077 @ 56.0823
58.32/58.69	c bounds -540 >= -1075 @ 56.1166
58.43/58.74	c #Conflicts:       9000 | #Constraints:     174642
58.43/58.74	c bounds -540 >= -1073 @ 56.1644
58.62/58.91	c INPROCESSING
58.62/58.91	c GARBAGE COLLECT
58.62/58.91	c bounds -540 >= -1071 @ 56.3303
58.62/58.99	c bounds -540 >= -1069 @ 56.4064
58.73/59.05	c bounds -540 >= -1067 @ 56.47
58.83/59.12	c bounds -540 >= -1065 @ 56.5313
58.83/59.15	c #Conflicts:      10000 | #Constraints:     173358
58.83/59.15	c bounds -540 >= -1063 @ 56.5647
58.83/59.17	c bounds -540 >= -1061 @ 56.5874
58.92/59.21	c bounds -540 >= -1059 @ 56.6201
58.92/59.24	c bounds -540 >= -1057 @ 56.654
59.02/59.30	c bounds -540 >= -1055 @ 56.711
59.02/59.35	c bounds -540 >= -1053 @ 56.7562
59.13/59.42	c bounds -540 >= -1051 @ 56.8252
59.22/59.56	c #Conflicts:      11000 | #Constraints:     174526
59.22/59.56	c bounds -540 >= -1049 @ 56.955
59.63/59.92	c #Conflicts:      12000 | #Constraints:     175556
59.63/59.92	c INPROCESSING
59.63/59.92	c bounds -540 >= -1047 @ 57.3153
59.83/60.18	c #Conflicts:      13000 | #Constraints:     173942
59.83/60.18	c bounds -540 >= -1045 @ 57.5587
60.12/60.40	c bounds -540 >= -1043 @ 57.7772
60.32/60.65	c #Conflicts:      14000 | #Constraints:     175020
60.32/60.65	c bounds -540 >= -1041 @ 58.0188
60.62/60.95	c #Conflicts:      15000 | #Constraints:     176050
60.62/60.95	c INPROCESSING
60.62/60.95	c bounds -540 >= -1039 @ 58.3101
63.82/64.13	c #Conflicts:      16000 | #Constraints:     174218
63.82/64.13	c bounds -544 >= -1039 @ 61.4396
64.31/64.60	c #Conflicts:      17000 | #Constraints:     175219
64.31/64.60	c bounds -544 >= -1037 @ 61.8919
64.72/65.04	c #Conflicts:      18000 | #Constraints:     176249
64.72/65.04	c bounds -544 >= -1035 @ 62.3152
65.01/65.35	c INPROCESSING
65.01/65.35	c GARBAGE COLLECT
65.01/65.35	c bounds -544 >= -1033 @ 62.6258
65.41/65.71	c #Conflicts:      19000 | #Constraints:     174177
65.41/65.71	c bounds -544 >= -1031 @ 62.9701
68.71/69.07	c #Conflicts:      20000 | #Constraints:     175207
68.71/69.07	c bounds -550 >= -1031 @ 66.2679
69.00/69.31	c bounds -550 >= -1029 @ 66.5015
69.20/69.52	c #Conflicts:      21000 | #Constraints:     176227
69.20/69.52	c bounds -550 >= -1027 @ 66.7027
69.30/69.63	c bounds -550 >= -1025 @ 66.8095
69.50/69.89	c INPROCESSING
69.50/69.89	c GARBAGE COLLECT
69.50/69.89	c bounds -550 >= -1023 @ 67.0612
69.80/70.18	c #Conflicts:      22000 | #Constraints:     174055
69.80/70.18	c bounds -550 >= -1021 @ 67.3476
70.20/70.59	c #Conflicts:      23000 | #Constraints:     175088
70.20/70.59	c bounds -550 >= -1019 @ 67.7474
70.89/71.26	c #Conflicts:      24000 | #Constraints:     176118
70.89/71.26	c bounds -550 >= -1017 @ 68.3992
71.20/71.57	c bounds -551 >= -1017 @ 68.6988
72.70/73.03	c #Conflicts:      25000 | #Constraints:     177149
72.70/73.03	c #Conflicts:      26000 | #Constraints:     178149
72.70/73.03	c bounds -551 >= -1015 @ 70.1262
72.70/73.05	c bounds -552 >= -1015 @ 70.1498
73.19/73.53	c bounds -553 >= -1015 @ 70.6289
73.19/73.56	c bounds -554 >= -1015 @ 70.6551
73.30/73.65	c bounds -555 >= -1015 @ 70.7351
73.30/73.67	c bounds -556 >= -1015 @ 70.7591
73.30/73.70	c bounds -557 >= -1015 @ 70.7827
77.18/77.57	c #Conflicts:      27000 | #Constraints:     179200
77.18/77.57	c bounds -558 >= -1015 @ 74.611
79.08/79.48	c #Conflicts:      28000 | #Constraints:     180201
79.08/79.48	c #Conflicts:      29000 | #Constraints:     181201
79.08/79.48	c bounds -558 >= -1013 @ 76.4687
81.87/82.27	c #Conflicts:      30000 | #Constraints:     182237
81.87/82.27	c #Conflicts:      31000 | #Constraints:     183237
81.87/82.27	c #Conflicts:      32000 | #Constraints:     184237
81.87/82.27	c bounds -558 >= -1011 @ 79.2041
82.68/83.04	c bounds -559 >= -1011 @ 79.9707
83.77/84.14	c #Conflicts:      33000 | #Constraints:     185262
83.77/84.14	c bounds -560 >= -1011 @ 81.0451
84.27/84.63	c INPROCESSING
84.27/84.63	c GARBAGE COLLECT
84.27/84.63	c bounds -561 >= -1011 @ 81.5294
85.96/86.38	c bounds -565 >= -1011 @ 83.2637
115.11/115.66	c #Conflicts:      34000 | #Constraints:     178747
115.11/115.66	c #Conflicts:      35000 | #Constraints:     179747
115.11/115.66	c #Conflicts:      36000 | #Constraints:     180748
115.11/115.66	c #Conflicts:      37000 | #Constraints:     181748
115.11/115.66	c #Conflicts:      38000 | #Constraints:     182748
115.11/115.66	c INPROCESSING
115.11/115.66	c GARBAGE COLLECT
115.11/115.66	c bounds -566 >= -1011 @ 112.198
115.22/115.70	c bounds -567 >= -1011 @ 112.23
115.22/115.74	c bounds -569 >= -1011 @ 112.275
115.22/115.77	c bounds -571 >= -1011 @ 112.304
115.31/115.80	c bounds -573 >= -1011 @ 112.334
120.80/121.35	c #Conflicts:      39000 | #Constraints:     177612
120.80/121.35	c #Conflicts:      40000 | #Constraints:     178612
120.80/121.35	c bounds -575 >= -1011 @ 117.819
120.80/121.37	c bounds -575 >= -979 @ 117.834
120.80/121.38	c bounds -575 >= -978 @ 117.846
120.90/121.41	c bounds -575 >= -977 @ 117.873
120.90/121.42	c bounds -575 >= -976 @ 117.89
120.90/121.43	c bounds -575 >= -975 @ 117.897
120.90/121.44	c bounds -575 >= -974 @ 117.901
120.90/121.44	c bounds -575 >= -973 @ 117.904
120.90/121.44	c bounds -575 >= -972 @ 117.907
120.90/121.45	c bounds -575 >= -971 @ 117.91
120.90/121.45	c bounds -575 >= -970 @ 117.914
120.90/121.45	c bounds -575 >= -969 @ 117.917
120.90/121.46	c bounds -575 >= -968 @ 117.921
120.90/121.46	c bounds -575 >= -967 @ 117.924
120.90/121.46	c bounds -575 >= -966 @ 117.928
120.90/121.47	c bounds -575 >= -965 @ 117.931
120.90/121.47	c bounds -575 >= -964 @ 117.935
120.90/121.47	c bounds -575 >= -963 @ 117.938
120.90/121.48	c bounds -575 >= -962 @ 117.942
120.90/121.48	c bounds -575 >= -961 @ 117.945
120.90/121.48	c bounds -575 >= -960 @ 117.949
120.90/121.49	c bounds -575 >= -959 @ 117.952
120.90/121.49	c bounds -575 >= -958 @ 117.957
120.90/121.50	c bounds -575 >= -957 @ 117.96
121.00/121.50	c bounds -575 >= -956 @ 117.964
121.00/121.50	c bounds -575 >= -955 @ 117.967
121.00/121.51	c bounds -575 >= -954 @ 117.97
121.00/121.51	c bounds -575 >= -953 @ 117.974
121.00/121.51	c bounds -575 >= -952 @ 117.978
121.00/121.52	c bounds -575 >= -951 @ 117.981
121.00/121.52	c bounds -575 >= -950 @ 117.985
121.00/121.53	c bounds -575 >= -949 @ 117.987
121.00/121.53	c bounds -575 >= -948 @ 117.992
121.00/121.53	c bounds -575 >= -947 @ 117.995
121.00/121.54	c bounds -575 >= -946 @ 117.999
121.00/121.54	c bounds -575 >= -945 @ 118.002
121.00/121.54	c bounds -575 >= -944 @ 118.007
121.00/121.55	c bounds -575 >= -943 @ 118.01
121.00/121.55	c bounds -575 >= -942 @ 118.014
121.00/121.56	c bounds -575 >= -941 @ 118.017
121.00/121.56	c bounds -575 >= -940 @ 118.021
121.00/121.56	c bounds -575 >= -939 @ 118.025
121.00/121.58	c bounds -575 >= -938 @ 118.038
121.30/121.86	c bounds -575 >= -937 @ 118.312
121.30/121.88	c bounds -575 >= -936 @ 118.334
121.50/122.02	c bounds -575 >= -935 @ 118.466
121.80/122.36	c bounds -575 >= -934 @ 118.801
121.90/122.40	c bounds -575 >= -933 @ 118.841
121.90/122.49	c bounds -575 >= -932 @ 118.93
122.09/122.60	c #Conflicts:      41000 | #Constraints:     179946
122.09/122.60	c bounds -575 >= -931 @ 119.036
122.30/122.84	c bounds -575 >= -930 @ 119.277
122.50/123.03	c #Conflicts:      42000 | #Constraints:     181000
122.50/123.03	c bounds -575 >= -929 @ 119.466
125.50/126.03	c INPROCESSING
125.50/126.03	c GARBAGE COLLECT
125.50/126.03	c bounds -575 >= -928 @ 122.414
125.59/126.14	c #Conflicts:      43000 | #Constraints:     176381
125.59/126.14	c bounds -575 >= -927 @ 122.525
125.89/126.48	c bounds -575 >= -926 @ 122.859
126.09/126.69	c #Conflicts:      44000 | #Constraints:     177432
126.09/126.69	c bounds -575 >= -925 @ 123.063
126.50/127.03	c bounds -575 >= -924 @ 123.392
126.79/127.36	c #Conflicts:      45000 | #Constraints:     178480
126.79/127.36	c bounds -575 >= -923 @ 123.713
127.49/128.09	c #Conflicts:      46000 | #Constraints:     179507
127.49/128.09	c #Conflicts:      47000 | #Constraints:     180507
127.49/128.09	c bounds -575 >= -922 @ 124.431
128.28/128.89	c #Conflicts:      48000 | #Constraints:     181549
128.28/128.89	c INPROCESSING
128.28/128.89	c GARBAGE COLLECT
128.28/128.89	c bounds -576 >= -922 @ 125.216
128.38/128.92	c bounds -577 >= -922 @ 125.245
131.67/132.21	c bounds -578 >= -922 @ 128.487
132.37/132.94	c #Conflicts:      49000 | #Constraints:     177203
132.37/132.94	c #Conflicts:      50000 | #Constraints:     178203
132.37/132.94	c bounds -578 >= -921 @ 129.196
132.87/133.41	c #Conflicts:      51000 | #Constraints:     179239
132.87/133.41	c bounds -578 >= -920 @ 129.661
133.37/133.99	c #Conflicts:      52000 | #Constraints:     180278
133.37/133.99	c #Conflicts:      53000 | #Constraints:     181278
133.37/133.99	c bounds -578 >= -919 @ 130.225
134.27/134.81	c #Conflicts:      54000 | #Constraints:     182326
134.27/134.81	c #Conflicts:      55000 | #Constraints:     183326
134.27/134.81	c bounds -578 >= -918 @ 131.029
137.86/138.42	c #Conflicts:      56000 | #Constraints:     184368
137.86/138.42	c bounds -579 >= -918 @ 134.596
138.06/138.60	c bounds -579 >= -917 @ 134.78
138.26/138.89	c bounds -579 >= -916 @ 135.058
138.76/139.35	c #Conflicts:      57000 | #Constraints:     185414
138.76/139.35	c bounds -579 >= -915 @ 135.517
139.36/139.94	c #Conflicts:      58000 | #Constraints:     186450
139.36/139.94	c bounds -579 >= -914 @ 136.09
140.56/141.14	c #Conflicts:      59000 | #Constraints:     187477
140.56/141.14	c bounds -580 >= -914 @ 137.269
141.56/142.14	c #Conflicts:      60000 | #Constraints:     188478
141.56/142.14	c bounds -580 >= -913 @ 138.244
142.85/143.40	c #Conflicts:      61000 | #Constraints:     189518
142.85/143.40	c bounds -581 >= -913 @ 139.49
205.93/206.64	c #Conflicts:      62000 | #Constraints:     190519
205.93/206.64	c bounds -581 >= -912 @ 202.328
210.12/210.88	c #Conflicts:      63000 | #Constraints:     191555
210.12/210.88	c #Conflicts:      64000 | #Constraints:     192555
210.12/210.88	c bounds -582 >= -912 @ 206.515
212.11/212.80	c #Conflicts:      65000 | #Constraints:     193556
212.11/212.80	c INPROCESSING
212.11/212.80	c GARBAGE COLLECT
212.11/212.80	c #Conflicts:      66000 | #Constraints:     183180
212.11/212.80	c bounds -582 >= -911 @ 208.389
213.20/213.96	c #Conflicts:      67000 | #Constraints:     184222
213.20/213.96	c #Conflicts:      68000 | #Constraints:     185222
213.20/213.96	c bounds -582 >= -910 @ 209.525
217.00/217.70	c #Conflicts:      69000 | #Constraints:     186267
217.00/217.70	c #Conflicts:      70000 | #Constraints:     187267
217.00/217.70	c #Conflicts:      71000 | #Constraints:     188267
217.00/217.70	c INPROCESSING
217.00/217.70	c GARBAGE COLLECT
217.00/217.70	c #Conflicts:      72000 | #Constraints:     180366
217.00/217.70	c bounds -583 >= -910 @ 213.214
217.40/218.10	c bounds -584 >= -910 @ 213.606
218.89/219.65	c #Conflicts:      73000 | #Constraints:     181368
218.89/219.65	c #Conflicts:      74000 | #Constraints:     182368
218.89/219.65	c #Conflicts:      75000 | #Constraints:     183368
218.89/219.65	c bounds -584 >= -909 @ 215.128
219.09/219.81	c bounds -585 >= -909 @ 215.287
219.09/219.84	c bounds -586 >= -909 @ 215.312
219.09/219.87	c bounds -587 >= -909 @ 215.337
219.09/219.89	c bounds -589 >= -909 @ 215.362
219.19/219.93	c bounds -591 >= -909 @ 215.391
220.49/221.24	c bounds -592 >= -909 @ 216.684
220.69/221.45	c bounds -593 >= -909 @ 216.894
223.59/224.31	c #Conflicts:      76000 | #Constraints:     184438
223.59/224.31	c #Conflicts:      77000 | #Constraints:     185438
223.59/224.31	c #Conflicts:      78000 | #Constraints:     186438
223.59/224.31	c INPROCESSING
223.59/224.31	c GARBAGE COLLECT
223.59/224.31	c bounds -595 >= -909 @ 219.726
230.07/230.81	c #Conflicts:      79000 | #Constraints:     179677
230.07/230.81	c #Conflicts:      80000 | #Constraints:     180677
230.07/230.81	c bounds -600 >= -909 @ 226.152
233.26/234.00	c #Conflicts:      81000 | #Constraints:     181678
233.26/234.00	c #Conflicts:      82000 | #Constraints:     182678
233.26/234.00	c #Conflicts:      83000 | #Constraints:     183678
233.26/234.00	c #Conflicts:      84000 | #Constraints:     184678
233.26/234.00	c bounds -600 >= -908 @ 229.277
235.15/235.96	c #Conflicts:      85000 | #Constraints:     185750
235.15/235.96	c #Conflicts:      86000 | #Constraints:     186750
235.15/235.96	c #Conflicts:      87000 | #Constraints:     187750
235.15/235.96	c #Conflicts:      88000 | #Constraints:     188750
235.15/235.96	c bounds -600 >= -907 @ 231.196
240.21/241.32	c #Conflicts:      89000 | #Constraints:     189807
240.21/241.32	c bounds -602 >= -907 @ 236.126
328.53/329.84	c #Conflicts:      90000 | #Constraints:     190808
328.53/329.84	c #Conflicts:      91000 | #Constraints:     191808
328.53/329.84	c #Conflicts:      92000 | #Constraints:     192808
328.53/329.84	c #Conflicts:      93000 | #Constraints:     193808
328.53/329.84	c #Conflicts:      94000 | #Constraints:     194808
328.53/329.84	c #Conflicts:      95000 | #Constraints:     195808
328.53/329.84	c bounds -602 >= -906 @ 324.108
329.13/330.40	c bounds -603 >= -906 @ 324.653
329.73/331.05	c bounds -604 >= -906 @ 325.301
334.61/335.94	c #Conflicts:      96000 | #Constraints:     196841
334.61/335.94	c bounds -608 >= -906 @ 330.136
338.81/340.13	c #Conflicts:      97000 | #Constraints:     197842
338.81/340.13	c #Conflicts:      98000 | #Constraints:     198842
338.81/340.13	c #Conflicts:      99000 | #Constraints:     199842
338.81/340.13	c INPROCESSING
338.81/340.13	c GARBAGE COLLECT
338.81/340.13	c bounds -609 >= -906 @ 334.254
342.70/344.03	c #Conflicts:     100000 | #Constraints:     186395
342.70/344.03	c bounds -610 >= -906 @ 338.114
347.88/349.26	c #Conflicts:     101000 | #Constraints:     187396
347.88/349.26	c #Conflicts:     102000 | #Constraints:     188396
347.88/349.26	c #Conflicts:     103000 | #Constraints:     189396
347.88/349.26	c #Conflicts:     104000 | #Constraints:     190396
347.88/349.26	c #Conflicts:     105000 | #Constraints:     191396
347.88/349.26	c #Conflicts:     106000 | #Constraints:     192396
347.88/349.26	c #Conflicts:     107000 | #Constraints:     193396
347.88/349.26	c bounds -610 >= -905 @ 343.258
347.98/349.35	c bounds -611 >= -905 @ 343.349
347.98/349.38	c bounds -612 >= -905 @ 343.378
348.08/349.41	c bounds -613 >= -905 @ 343.407
348.08/349.44	c bounds -614 >= -905 @ 343.436
349.48/350.83	c INPROCESSING
349.48/350.83	c GARBAGE COLLECT
349.48/350.83	c bounds -616 >= -905 @ 344.8
349.48/350.88	c bounds -617 >= -905 @ 344.853
349.57/350.92	c bounds -618 >= -905 @ 344.889
350.98/352.34	c bounds -619 >= -905 @ 346.289
351.07/352.46	c bounds -620 >= -905 @ 346.411
352.68/354.08	c #Conflicts:     108000 | #Constraints:     183377
352.68/354.08	c bounds -621 >= -905 @ 348.008
426.52/428.05	c #Conflicts:     109000 | #Constraints:     184378
426.52/428.05	c #Conflicts:     110000 | #Constraints:     185378
426.52/428.05	c #Conflicts:     111000 | #Constraints:     186378
426.52/428.05	c #Conflicts:     112000 | #Constraints:     187378
426.52/428.05	c #Conflicts:     113000 | #Constraints:     188378
426.52/428.05	c #Conflicts:     114000 | #Constraints:     189378
426.52/428.05	c #Conflicts:     115000 | #Constraints:     190378
426.52/428.05	c INPROCESSING
426.52/428.05	c GARBAGE COLLECT
426.52/428.05	c rational objective -789.333
427.51/429.07	c bounds -623 >= -905 @ 422.458
427.92/429.40	c bounds -624 >= -905 @ 422.78
428.91/430.42	c bounds -625 >= -905 @ 423.79
428.91/430.49	c bounds -626 >= -905 @ 423.861
429.01/430.52	c bounds -627 >= -905 @ 423.884
429.01/430.54	c bounds -628 >= -905 @ 423.909
429.01/430.57	c bounds -629 >= -905 @ 423.934
429.01/430.60	c bounds -630 >= -905 @ 423.958
430.71/432.22	c #Conflicts:     116000 | #Constraints:     181620
430.71/432.22	c bounds -631 >= -905 @ 425.561
430.71/432.24	c bounds -632 >= -905 @ 425.585
430.71/432.27	c bounds -633 >= -905 @ 425.609
430.71/432.29	c bounds -635 >= -905 @ 425.634
430.80/432.32	c bounds -636 >= -905 @ 425.659
434.40/435.99	c #Conflicts:     117000 | #Constraints:     182625
434.40/435.99	c bounds -646 >= -905 @ 429.278
436.40/437.95	c #Conflicts:     118000 | #Constraints:     183626
436.40/437.95	c #Conflicts:     119000 | #Constraints:     184626
436.40/437.95	c bounds -646 >= -904 @ 431.204
437.79/439.32	c #Conflicts:     120000 | #Constraints:     185686
437.79/439.32	c #Conflicts:     121000 | #Constraints:     186686
437.79/439.32	c bounds -646 >= -903 @ 432.543
440.29/441.83	c #Conflicts:     122000 | #Constraints:     187716
440.29/441.83	c bounds -647 >= -903 @ 435.023
442.48/444.03	c #Conflicts:     123000 | #Constraints:     188717
442.48/444.03	c INPROCESSING
442.48/444.03	c GARBAGE COLLECT
442.48/444.03	c #Conflicts:     124000 | #Constraints:     180467
442.48/444.03	c bounds -647 >= -902 @ 437.18
444.68/446.23	c #Conflicts:     125000 | #Constraints:     181524
444.68/446.23	c bounds -648 >= -902 @ 439.345
446.07/447.65	c #Conflicts:     126000 | #Constraints:     182525
446.07/447.65	c #Conflicts:     127000 | #Constraints:     183525
446.07/447.65	c bounds -648 >= -901 @ 440.744
447.66/449.28	c #Conflicts:     128000 | #Constraints:     184591
447.66/449.28	c #Conflicts:     129000 | #Constraints:     185591
447.66/449.28	c #Conflicts:     130000 | #Constraints:     186591
447.66/449.28	c bounds -648 >= -900 @ 442.34
447.76/449.31	c bounds -649 >= -900 @ 442.37
447.97/449.53	c bounds -650 >= -900 @ 442.58
447.97/449.55	c bounds -651 >= -900 @ 442.606
449.27/450.83	c bounds -652 >= -900 @ 443.874
452.06/453.64	c #Conflicts:     131000 | #Constraints:     187658
452.06/453.64	c #Conflicts:     132000 | #Constraints:     188658
452.06/453.64	c #Conflicts:     133000 | #Constraints:     189658
452.06/453.64	c #Conflicts:     134000 | #Constraints:     190658
452.06/453.64	c bounds -652 >= -899 @ 446.642
452.46/454.10	c bounds -653 >= -899 @ 447.095
454.15/455.79	c #Conflicts:     135000 | #Constraints:     191695
454.15/455.79	c bounds -654 >= -899 @ 448.776
454.46/456.07	c bounds -655 >= -899 @ 449.048
454.56/456.15	c bounds -657 >= -899 @ 449.127
459.64/461.28	c #Conflicts:     136000 | #Constraints:     192698
459.64/461.28	c bounds -658 >= -899 @ 454.194
463.83/465.41	c #Conflicts:     137000 | #Constraints:     193699
463.83/465.41	c #Conflicts:     138000 | #Constraints:     194699
463.83/465.41	c #Conflicts:     139000 | #Constraints:     195699
463.83/465.41	c #Conflicts:     140000 | #Constraints:     196699
463.83/465.41	c #Conflicts:     141000 | #Constraints:     197699
463.83/465.41	c #Conflicts:     142000 | #Constraints:     198699
463.83/465.41	c bounds -658 >= -898 @ 458.256
463.92/465.52	c bounds -659 >= -898 @ 458.36
469.61/471.24	c #Conflicts:     143000 | #Constraints:     199733
469.61/471.24	c bounds -661 >= -898 @ 464.011
476.70/478.82	c #Conflicts:     144000 | #Constraints:     200734
476.70/478.82	c #Conflicts:     145000 | #Constraints:     201734
476.70/478.82	c #Conflicts:     146000 | #Constraints:     202734
476.70/478.82	c #Conflicts:     147000 | #Constraints:     203734
476.70/478.82	c #Conflicts:     148000 | #Constraints:     204734
476.70/478.82	c #Conflicts:     149000 | #Constraints:     205734
476.70/478.82	c #Conflicts:     150000 | #Constraints:     206734
476.70/478.82	c INPROCESSING
476.70/478.82	c GARBAGE COLLECT
476.70/478.82	c bounds -663 >= -898 @ 470.966
478.49/480.65	c bounds -664 >= -898 @ 472.768
480.00/482.19	c #Conflicts:     151000 | #Constraints:     189900
480.00/482.19	c bounds -665 >= -898 @ 474.285
480.09/482.22	c bounds -669 >= -898 @ 474.311
480.09/482.25	c bounds -670 >= -898 @ 474.337
480.53/482.70	c bounds -678 >= -898 @ 474.728
480.53/482.73	c bounds -679 >= -898 @ 474.753
483.13/485.33	c bounds -681 >= -898 @ 477.317
485.43/487.64	c #Conflicts:     152000 | #Constraints:     190906
485.43/487.64	c #Conflicts:     153000 | #Constraints:     191906
485.43/487.64	c #Conflicts:     154000 | #Constraints:     192906
485.43/487.64	c #Conflicts:     155000 | #Constraints:     193906
485.43/487.64	c bounds -681 >= -897 @ 479.585
574.33/576.74	c bounds -682 >= -897 @ 568.162
574.33/576.78	c bounds -683 >= -897 @ 568.203
579.72/582.15	c #Conflicts:     156000 | #Constraints:     194956
579.72/582.15	c bounds -684 >= -897 @ 573.518
585.60/588.05	c #Conflicts:     157000 | #Constraints:     195957
585.60/588.05	c #Conflicts:     158000 | #Constraints:     196957
585.60/588.05	c #Conflicts:     159000 | #Constraints:     197957
585.60/588.05	c INPROCESSING
585.60/588.05	c GARBAGE COLLECT
585.60/588.05	c #Conflicts:     160000 | #Constraints:     185258
585.60/588.05	c #Conflicts:     161000 | #Constraints:     186258
585.60/588.05	c #Conflicts:     162000 | #Constraints:     187258
585.60/588.05	c #Conflicts:     163000 | #Constraints:     188258
585.60/588.05	c #Conflicts:     164000 | #Constraints:     189258
585.60/588.05	c bounds -684 >= -896 @ 579.315
587.89/590.32	c #Conflicts:     165000 | #Constraints:     190321
587.89/590.32	c bounds -685 >= -896 @ 581.55
675.80/678.45	c #Conflicts:     166000 | #Constraints:     191322
675.80/678.45	c #Conflicts:     167000 | #Constraints:     192322
675.80/678.45	c #Conflicts:     168000 | #Constraints:     193322
675.80/678.45	c #Conflicts:     169000 | #Constraints:     194322
675.80/678.45	c INPROCESSING
675.80/678.45	c GARBAGE COLLECT
675.80/678.45	c rational objective -784.398
677.29/679.96	c bounds -686 >= -896 @ 670.587
681.98/684.63	c #Conflicts:     170000 | #Constraints:     183588
681.98/684.63	c bounds -687 >= -896 @ 675.193
686.07/688.71	c #Conflicts:     171000 | #Constraints:     184589
686.07/688.71	c #Conflicts:     172000 | #Constraints:     185589
686.07/688.71	c #Conflicts:     173000 | #Constraints:     186589
686.07/688.71	c #Conflicts:     174000 | #Constraints:     187589
686.07/688.71	c #Conflicts:     175000 | #Constraints:     188589
686.07/688.71	c #Conflicts:     176000 | #Constraints:     189589
686.07/688.71	c bounds -687 >= -895 @ 679.201
686.07/688.75	c bounds -688 >= -895 @ 679.23
686.07/688.78	c bounds -689 >= -895 @ 679.26
686.17/688.81	c bounds -690 >= -895 @ 679.288
687.07/689.79	c bounds -691 >= -895 @ 680.262
691.36/694.07	c #Conflicts:     177000 | #Constraints:     190653
691.36/694.07	c #Conflicts:     178000 | #Constraints:     191653
691.36/694.07	c bounds -692 >= -895 @ 684.48
697.94/700.61	c #Conflicts:     179000 | #Constraints:     192654
697.94/700.61	c #Conflicts:     180000 | #Constraints:     193654
697.94/700.61	c #Conflicts:     181000 | #Constraints:     194654
697.94/700.61	c #Conflicts:     182000 | #Constraints:     195654
697.94/700.61	c #Conflicts:     183000 | #Constraints:     196654
697.94/700.61	c #Conflicts:     184000 | #Constraints:     197654
697.94/700.61	c #Conflicts:     185000 | #Constraints:     198654
697.94/700.61	c bounds -692 >= -894 @ 690.914
699.13/701.82	c #Conflicts:     186000 | #Constraints:     199717
699.13/701.82	c bounds -693 >= -894 @ 692.111
701.33/704.01	c bounds -694 >= -894 @ 694.278
701.33/704.04	c bounds -695 >= -894 @ 694.312
701.33/704.08	c bounds -696 >= -894 @ 694.346
701.43/704.11	c bounds -697 >= -894 @ 694.379
701.43/704.14	c bounds -698 >= -894 @ 694.413
701.43/704.18	c bounds -699 >= -894 @ 694.446
702.53/705.29	c bounds -700 >= -894 @ 695.544
713.70/716.41	c #Conflicts:     187000 | #Constraints:     200725
713.70/716.41	c #Conflicts:     188000 | #Constraints:     201725
713.70/716.41	c #Conflicts:     189000 | #Constraints:     202725
713.70/716.41	c #Conflicts:     190000 | #Constraints:     203725
713.70/716.41	c #Conflicts:     191000 | #Constraints:     204725
713.70/716.41	c #Conflicts:     192000 | #Constraints:     205725
713.70/716.41	c #Conflicts:     193000 | #Constraints:     206725
713.70/716.41	c #Conflicts:     194000 | #Constraints:     207725
713.70/716.41	c #Conflicts:     195000 | #Constraints:     208725
713.70/716.41	c #Conflicts:     196000 | #Constraints:     209725
713.70/716.41	c #Conflicts:     197000 | #Constraints:     210725
713.70/716.41	c #Conflicts:     198000 | #Constraints:     211725
713.70/716.41	c bounds -700 >= -893 @ 706.474
713.70/716.45	c bounds -704 >= -893 @ 706.514
717.58/720.37	c #Conflicts:     199000 | #Constraints:     212762
717.58/720.37	c #Conflicts:     200000 | #Constraints:     213762
717.58/720.37	c INPROCESSING
717.58/720.37	c GARBAGE COLLECT
717.58/720.37	c bounds -705 >= -893 @ 710.387
747.70/750.52	c #Conflicts:     201000 | #Constraints:     193624
747.70/750.52	c #Conflicts:     202000 | #Constraints:     194624
747.70/750.52	c #Conflicts:     203000 | #Constraints:     195624
747.70/750.52	c #Conflicts:     204000 | #Constraints:     196624
747.70/750.52	c #Conflicts:     205000 | #Constraints:     197624
747.70/750.52	c bounds -706 >= -893 @ 740.308
842.54/845.69	c #Conflicts:     206000 | #Constraints:     198625
842.54/845.69	c #Conflicts:     207000 | #Constraints:     199625
842.54/845.69	c #Conflicts:     208000 | #Constraints:     200625
842.54/845.69	c #Conflicts:     209000 | #Constraints:     201625
842.54/845.69	c #Conflicts:     210000 | #Constraints:     202625
842.54/845.69	c #Conflicts:     211000 | #Constraints:     203625
842.54/845.69	c INPROCESSING
842.54/845.69	c GARBAGE COLLECT
842.54/845.69	c #Conflicts:     212000 | #Constraints:     188431
842.54/845.69	c #Conflicts:     213000 | #Constraints:     189431
842.54/845.69	c #Conflicts:     214000 | #Constraints:     190431
842.54/845.69	c #Conflicts:     215000 | #Constraints:     191431
842.54/845.69	c #Conflicts:     216000 | #Constraints:     192431
842.54/845.69	c #Conflicts:     217000 | #Constraints:     193431
842.54/845.69	c #Conflicts:     218000 | #Constraints:     194431
842.54/845.69	c #Conflicts:     219000 | #Constraints:     195431
842.54/845.69	c bounds -706 >= -892 @ 834.742
879.24/882.42	c #Conflicts:     220000 | #Constraints:     196491
879.24/882.42	c #Conflicts:     221000 | #Constraints:     197491
879.24/882.42	c #Conflicts:     222000 | #Constraints:     198491
879.24/882.42	c INPROCESSING
879.24/882.42	c GARBAGE COLLECT
879.24/882.42	c #Conflicts:     223000 | #Constraints:     185595
879.24/882.42	c #Conflicts:     224000 | #Constraints:     186595
879.24/882.42	c #Conflicts:     225000 | #Constraints:     187595
879.24/882.42	c #Conflicts:     226000 | #Constraints:     188595
879.24/882.42	c #Conflicts:     227000 | #Constraints:     189595
879.24/882.42	c #Conflicts:     228000 | #Constraints:     190595
879.24/882.42	c #Conflicts:     229000 | #Constraints:     191595
879.24/882.42	c bounds -709 >= -892 @ 871.086
893.29/896.57	c #Conflicts:     230000 | #Constraints:     192596
893.29/896.57	c #Conflicts:     231000 | #Constraints:     193596
893.29/896.57	c #Conflicts:     232000 | #Constraints:     194596
893.29/896.57	c #Conflicts:     233000 | #Constraints:     195596
893.29/896.57	c #Conflicts:     234000 | #Constraints:     196596
893.29/896.57	c #Conflicts:     235000 | #Constraints:     197596
893.29/896.57	c #Conflicts:     236000 | #Constraints:     198596
893.29/896.57	c #Conflicts:     237000 | #Constraints:     199596
893.29/896.57	c #Conflicts:     238000 | #Constraints:     200596
893.29/896.57	c #Conflicts:     239000 | #Constraints:     201596
893.29/896.57	c #Conflicts:     240000 | #Constraints:     202596
893.29/896.57	c #Conflicts:     241000 | #Constraints:     203596
893.29/896.57	c bounds -709 >= -891 @ 885.014
902.47/905.70	c #Conflicts:     242000 | #Constraints:     204704
902.47/905.70	c #Conflicts:     243000 | #Constraints:     205704
902.47/905.70	c bounds -710 >= -891 @ 894.05
916.32/919.65	c #Conflicts:     244000 | #Constraints:     206705
916.32/919.65	c #Conflicts:     245000 | #Constraints:     207705
916.32/919.65	c #Conflicts:     246000 | #Constraints:     208705
916.32/919.65	c #Conflicts:     247000 | #Constraints:     209705
916.32/919.65	c #Conflicts:     248000 | #Constraints:     210705
916.32/919.65	c #Conflicts:     249000 | #Constraints:     211705
916.32/919.65	c #Conflicts:     250000 | #Constraints:     212705
916.32/919.65	c #Conflicts:     251000 | #Constraints:     213705
916.32/919.65	c #Conflicts:     252000 | #Constraints:     214705
916.32/919.65	c #Conflicts:     253000 | #Constraints:     215705
916.32/919.65	c #Conflicts:     254000 | #Constraints:     216705
916.32/919.65	c #Conflicts:     255000 | #Constraints:     217705
916.32/919.65	c #Conflicts:     256000 | #Constraints:     218705
916.32/919.65	c bounds -710 >= -890 @ 907.783
916.41/919.70	c bounds -711 >= -890 @ 907.834
922.90/926.24	c #Conflicts:     257000 | #Constraints:     219763
922.90/926.24	c bounds -712 >= -890 @ 914.301
923.00/926.30	c bounds -715 >= -890 @ 914.355
998.09/1001.62	c INPROCESSING
998.09/1001.62	c GARBAGE COLLECT
998.09/1001.62	c rational objective -781.946
1003.88/1007.40	c #Conflicts:     258000 | #Constraints:     196615
1003.88/1007.40	c bounds -717 >= -890 @ 994.909
1003.88/1007.43	c bounds -718 >= -890 @ 994.938
1003.88/1007.46	c bounds -720 >= -890 @ 994.968
1004.28/1007.80	c bounds -721 >= -890 @ 995.299
1006.87/1010.42	c #Conflicts:     259000 | #Constraints:     197619
1006.87/1010.42	c bounds -722 >= -890 @ 997.892
1049.25/1052.90	c #Conflicts:     260000 | #Constraints:     198620
1049.25/1052.90	c #Conflicts:     261000 | #Constraints:     199620
1049.25/1052.90	c #Conflicts:     262000 | #Constraints:     200620
1049.25/1052.90	c #Conflicts:     263000 | #Constraints:     201620
1049.25/1052.90	c #Conflicts:     264000 | #Constraints:     202620
1049.25/1052.90	c #Conflicts:     265000 | #Constraints:     203620
1049.25/1052.90	c #Conflicts:     266000 | #Constraints:     204620
1049.25/1052.90	c #Conflicts:     267000 | #Constraints:     205620
1049.25/1052.90	c #Conflicts:     268000 | #Constraints:     206620
1049.25/1052.90	c #Conflicts:     269000 | #Constraints:     207620
1049.25/1052.90	c #Conflicts:     270000 | #Constraints:     208620
1049.25/1052.90	c INPROCESSING
1049.25/1052.90	c GARBAGE COLLECT
1049.25/1052.90	c #Conflicts:     271000 | #Constraints:     190950
1049.25/1052.90	c #Conflicts:     272000 | #Constraints:     191950
1049.25/1052.90	c #Conflicts:     273000 | #Constraints:     192950
1049.25/1052.90	c #Conflicts:     274000 | #Constraints:     193950
1049.25/1052.90	c #Conflicts:     275000 | #Constraints:     194951
1049.25/1052.90	c #Conflicts:     276000 | #Constraints:     195951
1049.25/1052.90	c bounds -723 >= -890 @ 1039.82
1050.45/1054.15	c #Conflicts:     277000 | #Constraints:     196952
1050.45/1054.15	c bounds -723 >= -889 @ 1041.05
1283.98/1288.33	c #Conflicts:     278000 | #Constraints:     197997
1283.98/1288.33	c #Conflicts:     279000 | #Constraints:     198997
1283.98/1288.33	c #Conflicts:     280000 | #Constraints:     199997
1283.98/1288.33	c #Conflicts:     281000 | #Constraints:     200997
1283.98/1288.33	c #Conflicts:     282000 | #Constraints:     201997
1283.98/1288.33	c INPROCESSING
1283.98/1288.33	c GARBAGE COLLECT
1283.98/1288.33	c #Conflicts:     283000 | #Constraints:     187283
1283.98/1288.33	c #Conflicts:     284000 | #Constraints:     188283
1283.98/1288.33	c #Conflicts:     285000 | #Constraints:     189283
1283.98/1288.33	c #Conflicts:     286000 | #Constraints:     190283
1283.98/1288.33	c #Conflicts:     287000 | #Constraints:     191283
1283.98/1288.33	c #Conflicts:     288000 | #Constraints:     192283
1283.98/1288.33	c #Conflicts:     289000 | #Constraints:     193283
1283.98/1288.33	c #Conflicts:     290000 | #Constraints:     194283
1283.98/1288.33	c #Conflicts:     291000 | #Constraints:     195283
1283.98/1288.33	c #Conflicts:     292000 | #Constraints:     196283
1283.98/1288.33	c #Conflicts:     293000 | #Constraints:     197283
1283.98/1288.33	c #Conflicts:     294000 | #Constraints:     198283
1283.98/1288.33	c #Conflicts:     295000 | #Constraints:     199283
1283.98/1288.33	c bounds -723 >= -888 @ 1273.86
1367.08/1371.62	c INPROCESSING
1367.08/1371.62	c GARBAGE COLLECT
1367.08/1371.62	c rational objective -781.904
1368.38/1372.98	c bounds -724 >= -888 @ 1357.97
1369.37/1374.00	c #Conflicts:     296000 | #Constraints:     186242
1369.37/1374.00	c bounds -725 >= -888 @ 1358.98
1369.48/1374.02	c bounds -726 >= -888 @ 1359
1374.47/1379.01	c #Conflicts:     297000 | #Constraints:     187244
1374.47/1379.01	c bounds -730 >= -888 @ 1363.91
1393.32/1397.92	c #Conflicts:     298000 | #Constraints:     188245
1393.32/1397.92	c #Conflicts:     299000 | #Constraints:     189245
1393.32/1397.92	c #Conflicts:     300000 | #Constraints:     190245
1393.32/1397.92	c #Conflicts:     301000 | #Constraints:     191245
1393.32/1397.92	c bounds -731 >= -888 @ 1382.6
1403.79/1408.47	c #Conflicts:     302000 | #Constraints:     192246
1403.79/1408.47	c #Conflicts:     303000 | #Constraints:     193246
1403.79/1408.47	c #Conflicts:     304000 | #Constraints:     194246
1403.79/1408.47	c #Conflicts:     305000 | #Constraints:     195246
1403.79/1408.47	c #Conflicts:     306000 | #Constraints:     196246
1403.79/1408.47	c #Conflicts:     307000 | #Constraints:     197246
1403.79/1408.47	c #Conflicts:     308000 | #Constraints:     198246
1403.79/1408.47	c #Conflicts:     309000 | #Constraints:     199246
1403.79/1408.47	c #Conflicts:     310000 | #Constraints:     200246
1403.79/1408.47	c #Conflicts:     311000 | #Constraints:     201246
1403.79/1408.47	c bounds -731 >= -887 @ 1392.96
1407.49/1412.17	c #Conflicts:     312000 | #Constraints:     202285
1407.49/1412.17	c #Conflicts:     313000 | #Constraints:     203285
1407.49/1412.17	c #Conflicts:     314000 | #Constraints:     204285
1407.49/1412.17	c #Conflicts:     315000 | #Constraints:     205285
1407.49/1412.17	c bounds -731 >= -886 @ 1396.61
1411.47/1416.17	c #Conflicts:     316000 | #Constraints:     206309
1411.47/1416.17	c #Conflicts:     317000 | #Constraints:     207309
1411.47/1416.17	c #Conflicts:     318000 | #Constraints:     208309
1411.47/1416.17	c #Conflicts:     319000 | #Constraints:     209309
1411.47/1416.17	c #Conflicts:     320000 | #Constraints:     210309
1411.47/1416.17	c bounds -731 >= -885 @ 1400.53
1413.86/1418.59	c bounds -732 >= -885 @ 1402.92
1475.39/1480.22	c #Conflicts:     321000 | #Constraints:     211355
1475.39/1480.22	c #Conflicts:     322000 | #Constraints:     212355
1475.39/1480.22	c #Conflicts:     323000 | #Constraints:     213355
1475.39/1480.22	c #Conflicts:     324000 | #Constraints:     214355
1475.39/1480.22	c #Conflicts:     325000 | #Constraints:     215355
1475.39/1480.22	c #Conflicts:     326000 | #Constraints:     216355
1475.39/1480.22	c #Conflicts:     327000 | #Constraints:     217355
1475.39/1480.22	c #Conflicts:     328000 | #Constraints:     218355
1475.39/1480.22	c #Conflicts:     329000 | #Constraints:     219355
1475.39/1480.22	c #Conflicts:     330000 | #Constraints:     220355
1475.39/1480.22	c #Conflicts:     331000 | #Constraints:     221355
1475.39/1480.22	c #Conflicts:     332000 | #Constraints:     222355
1475.39/1480.22	c #Conflicts:     333000 | #Constraints:     223355
1475.39/1480.22	c #Conflicts:     334000 | #Constraints:     224355
1475.39/1480.22	c #Conflicts:     335000 | #Constraints:     225355
1475.39/1480.22	c #Conflicts:     336000 | #Constraints:     226355
1475.39/1480.22	c INPROCESSING
1475.39/1480.22	c GARBAGE COLLECT
1475.39/1480.22	c #Conflicts:     337000 | #Constraints:     199700
1475.39/1480.22	c #Conflicts:     338000 | #Constraints:     200700
1475.39/1480.22	c #Conflicts:     339000 | #Constraints:     201700
1475.39/1480.22	c #Conflicts:     340000 | #Constraints:     202700
1475.39/1480.22	c #Conflicts:     341000 | #Constraints:     203700
1475.39/1480.22	c #Conflicts:     342000 | #Constraints:     204700
1475.39/1480.22	c #Conflicts:     343000 | #Constraints:     205700
1475.39/1480.22	c bounds -733 >= -885 @ 1463.88
1476.69/1481.53	c #Conflicts:     344000 | #Constraints:     206701
1476.69/1481.53	c bounds -733 >= -884 @ 1465.16
1577.14/1582.26	c #Conflicts:     345000 | #Constraints:     207725
1577.14/1582.26	c #Conflicts:     346000 | #Constraints:     208725
1577.14/1582.26	c #Conflicts:     347000 | #Constraints:     209725
1577.14/1582.26	c #Conflicts:     348000 | #Constraints:     210725
1577.14/1582.26	c #Conflicts:     349000 | #Constraints:     211725
1577.14/1582.26	c #Conflicts:     350000 | #Constraints:     212725
1577.14/1582.26	c INPROCESSING
1577.14/1582.26	c GARBAGE COLLECT
1577.14/1582.26	c rational objective -779.759
1583.02/1588.14	c #Conflicts:     351000 | #Constraints:     192853
1583.02/1588.14	c #Conflicts:     352000 | #Constraints:     193853
1583.02/1588.14	c #Conflicts:     353000 | #Constraints:     194853
1583.02/1588.14	c #Conflicts:     354000 | #Constraints:     195853
1583.02/1588.14	c #Conflicts:     355000 | #Constraints:     196853
1583.02/1588.14	c #Conflicts:     356000 | #Constraints:     197853
1583.02/1588.14	c bounds -733 >= -883 @ 1571.07
1718.11/1723.55	c #Conflicts:     357000 | #Constraints:     198904
1718.11/1723.55	c #Conflicts:     358000 | #Constraints:     199904
1718.11/1723.55	c #Conflicts:     359000 | #Constraints:     200904
1718.11/1723.55	c #Conflicts:     360000 | #Constraints:     201904
1718.11/1723.55	c #Conflicts:     361000 | #Constraints:     202904
1718.11/1723.55	c #Conflicts:     362000 | #Constraints:     203904
1718.11/1723.55	c #Conflicts:     363000 | #Constraints:     204904
1718.11/1723.55	c #Conflicts:     364000 | #Constraints:     205904
1718.11/1723.55	c INPROCESSING
1718.11/1723.55	c GARBAGE COLLECT
1718.11/1723.55	c #Conflicts:     365000 | #Constraints:     189268
1718.11/1723.55	c #Conflicts:     366000 | #Constraints:     190268
1718.11/1723.55	c #Conflicts:     367000 | #Constraints:     191268
1718.11/1723.55	c #Conflicts:     368000 | #Constraints:     192268
1718.11/1723.55	c #Conflicts:     369000 | #Constraints:     193268
1718.11/1723.55	c #Conflicts:     370000 | #Constraints:     194268
1718.11/1723.55	c bounds -733 >= -882 @ 1705.61
1725.69/1731.13	c #Conflicts:     371000 | #Constraints:     195337
1725.69/1731.13	c #Conflicts:     372000 | #Constraints:     196337
1725.69/1731.13	c bounds -734 >= -882 @ 1713.12
1734.76/1740.20	c #Conflicts:     373000 | #Constraints:     197338
1734.76/1740.20	c #Conflicts:     374000 | #Constraints:     198338
1734.76/1740.20	c #Conflicts:     375000 | #Constraints:     199338
1734.76/1740.20	c #Conflicts:     376000 | #Constraints:     200338
1734.76/1740.20	c #Conflicts:     377000 | #Constraints:     201338
1734.76/1740.20	c #Conflicts:     378000 | #Constraints:     202338
1734.76/1740.20	c #Conflicts:     379000 | #Constraints:     203338
1734.76/1740.20	c INPROCESSING
1734.76/1740.20	c GARBAGE COLLECT
1734.76/1740.20	c bounds -735 >= -882 @ 1722.07
2248.33/2255.21	c #Conflicts:     380000 | #Constraints:     188179
2248.33/2255.21	c #Conflicts:     381000 | #Constraints:     189179
2248.33/2255.21	c #Conflicts:     382000 | #Constraints:     190179
2248.33/2255.21	c #Conflicts:     383000 | #Constraints:     191179
2248.33/2255.21	c #Conflicts:     384000 | #Constraints:     192179
2248.33/2255.21	c #Conflicts:     385000 | #Constraints:     193179
2248.33/2255.21	c #Conflicts:     386000 | #Constraints:     194179
2248.33/2255.21	c #Conflicts:     387000 | #Constraints:     195179
2248.33/2255.21	c #Conflicts:     388000 | #Constraints:     196179
2248.33/2255.21	c #Conflicts:     389000 | #Constraints:     197179
2248.33/2255.21	c #Conflicts:     390000 | #Constraints:     198179
2248.33/2255.21	c #Conflicts:     391000 | #Constraints:     199179
2248.33/2255.21	c #Conflicts:     392000 | #Constraints:     200179
2248.33/2255.21	c #Conflicts:     393000 | #Constraints:     201179
2248.33/2255.21	c #Conflicts:     394000 | #Constraints:     202179
2248.33/2255.21	c #Conflicts:     395000 | #Constraints:     203179
2248.33/2255.21	c #Conflicts:     396000 | #Constraints:     204179
2248.33/2255.21	c #Conflicts:     397000 | #Constraints:     205179
2248.33/2255.21	c #Conflicts:     398000 | #Constraints:     206179
2248.33/2255.21	c #Conflicts:     399000 | #Constraints:     207179
2248.33/2255.21	c #Conflicts:     400000 | #Constraints:     208179
2248.33/2255.21	c #Conflicts:     401000 | #Constraints:     209179
2248.33/2255.21	c #Conflicts:     402000 | #Constraints:     210179
2248.33/2255.21	c #Conflicts:     403000 | #Constraints:     211179
2248.33/2255.21	c #Conflicts:     404000 | #Constraints:     212179
2248.33/2255.21	c #Conflicts:     405000 | #Constraints:     213179
2248.33/2255.21	c #Conflicts:     406000 | #Constraints:     214179
2248.33/2255.21	c #Conflicts:     407000 | #Constraints:     215179
2248.33/2255.21	c #Conflicts:     408000 | #Constraints:     216179
2248.33/2255.21	c #Conflicts:     409000 | #Constraints:     217179
2248.33/2255.21	c #Conflicts:     410000 | #Constraints:     218179
2248.33/2255.21	c #Conflicts:     411000 | #Constraints:     219179
2248.33/2255.21	c #Conflicts:     412000 | #Constraints:     220179
2248.33/2255.21	c #Conflicts:     413000 | #Constraints:     221179
2248.33/2255.21	c #Conflicts:     414000 | #Constraints:     222179
2248.33/2255.21	c #Conflicts:     415000 | #Constraints:     223179
2248.33/2255.21	c #Conflicts:     416000 | #Constraints:     224179
2248.33/2255.21	c #Conflicts:     417000 | #Constraints:     225179
2248.33/2255.21	c #Conflicts:     418000 | #Constraints:     226179
2248.33/2255.21	c #Conflicts:     419000 | #Constraints:     227179
2248.33/2255.21	c #Conflicts:     420000 | #Constraints:     228179
2248.33/2255.21	c #Conflicts:     421000 | #Constraints:     229179
2248.33/2255.21	c #Conflicts:     422000 | #Constraints:     230179
2248.33/2255.21	c #Conflicts:     423000 | #Constraints:     231179
2248.33/2255.21	c #Conflicts:     424000 | #Constraints:     232179
2248.33/2255.21	c #Conflicts:     425000 | #Constraints:     233179
2248.33/2255.21	c INPROCESSING
2248.33/2255.21	c GARBAGE COLLECT
2248.33/2255.21	c rational objective -777.378
2285.07/2292.34	c #Conflicts:     426000 | #Constraints:     203495
2285.07/2292.34	c #Conflicts:     427000 | #Constraints:     204496
2285.07/2292.34	c #Conflicts:     428000 | #Constraints:     205496
2285.07/2292.34	c #Conflicts:     429000 | #Constraints:     206496
2285.07/2292.34	c #Conflicts:     430000 | #Constraints:     207496
2285.07/2292.34	c #Conflicts:     431000 | #Constraints:     208496
2285.07/2292.34	c #Conflicts:     432000 | #Constraints:     209496
2285.07/2292.34	c #Conflicts:     433000 | #Constraints:     210496
2285.07/2292.34	c #Conflicts:     434000 | #Constraints:     211496
2285.07/2292.34	c #Conflicts:     435000 | #Constraints:     212496
2285.07/2292.34	c #Conflicts:     436000 | #Constraints:     213496
2285.07/2292.34	c #Conflicts:     437000 | #Constraints:     214496
2285.07/2292.34	c #Conflicts:     438000 | #Constraints:     215496
2285.07/2292.34	c #Conflicts:     439000 | #Constraints:     216496
2285.07/2292.34	c #Conflicts:     440000 | #Constraints:     217496
2285.07/2292.34	c #Conflicts:     441000 | #Constraints:     218496
2285.07/2292.34	c INPROCESSING
2285.07/2292.34	c GARBAGE COLLECT
2285.07/2292.34	c #Conflicts:     442000 | #Constraints:     195890
2285.07/2292.34	c #Conflicts:     443000 | #Constraints:     196890
2285.07/2292.34	c #Conflicts:     444000 | #Constraints:     197890
2285.07/2292.34	c bounds -735 >= -881 @ 2269.92
2296.55/2303.86	c #Conflicts:     445000 | #Constraints:     198944
2296.55/2303.86	c #Conflicts:     446000 | #Constraints:     199944
2296.55/2303.86	c #Conflicts:     447000 | #Constraints:     200944
2296.55/2303.86	c #Conflicts:     448000 | #Constraints:     201944
2296.55/2303.86	c #Conflicts:     449000 | #Constraints:     202944
2296.55/2303.86	c #Conflicts:     450000 | #Constraints:     203944
2296.55/2303.86	c #Conflicts:     451000 | #Constraints:     204944
2296.55/2303.86	c #Conflicts:     452000 | #Constraints:     205944
2296.55/2303.86	c #Conflicts:     453000 | #Constraints:     206944
2296.55/2303.86	c #Conflicts:     454000 | #Constraints:     207944
2296.55/2303.86	c #Conflicts:     455000 | #Constraints:     208944
2296.55/2303.86	c #Conflicts:     456000 | #Constraints:     209944
2296.55/2303.86	c bounds -735 >= -880 @ 2281.22
2460.28/2467.90	c #Conflicts:     457000 | #Constraints:     210980
2460.28/2467.90	c INPROCESSING
2460.28/2467.90	c GARBAGE COLLECT
2460.28/2467.90	c #Conflicts:     458000 | #Constraints:     192033
2460.28/2467.90	c #Conflicts:     459000 | #Constraints:     193033
2460.28/2467.90	c #Conflicts:     460000 | #Constraints:     194033
2460.28/2467.90	c #Conflicts:     461000 | #Constraints:     195033
2460.28/2467.90	c #Conflicts:     462000 | #Constraints:     196033
2460.28/2467.90	c #Conflicts:     463000 | #Constraints:     197033
2460.28/2467.90	c #Conflicts:     464000 | #Constraints:     198033
2460.28/2467.90	c #Conflicts:     465000 | #Constraints:     199033
2460.28/2467.90	c #Conflicts:     466000 | #Constraints:     200033
2460.28/2467.90	c #Conflicts:     467000 | #Constraints:     201033
2460.28/2467.90	c #Conflicts:     468000 | #Constraints:     202033
2460.28/2467.90	c #Conflicts:     469000 | #Constraints:     203033
2460.28/2467.90	c #Conflicts:     470000 | #Constraints:     204033
2460.28/2467.90	c #Conflicts:     471000 | #Constraints:     205033
2460.28/2467.90	c bounds -735 >= -879 @ 2444.34
2477.14/2484.88	c #Conflicts:     472000 | #Constraints:     206111
2477.14/2484.88	c #Conflicts:     473000 | #Constraints:     207111
2477.14/2484.88	c INPROCESSING
2477.14/2484.88	c GARBAGE COLLECT
2477.14/2484.88	c #Conflicts:     474000 | #Constraints:     189951
2477.14/2484.88	c #Conflicts:     475000 | #Constraints:     190951
2477.14/2484.88	c #Conflicts:     476000 | #Constraints:     191951
2477.14/2484.88	c #Conflicts:     477000 | #Constraints:     192951
2477.14/2484.88	c #Conflicts:     478000 | #Constraints:     193951
2477.14/2484.88	c #Conflicts:     479000 | #Constraints:     194951
2477.14/2484.88	c #Conflicts:     480000 | #Constraints:     195951
2477.14/2484.88	c #Conflicts:     481000 | #Constraints:     196951
2477.14/2484.88	c #Conflicts:     482000 | #Constraints:     197951
2477.14/2484.88	c #Conflicts:     483000 | #Constraints:     198951
2477.14/2484.88	c #Conflicts:     484000 | #Constraints:     199951
2477.14/2484.88	c #Conflicts:     485000 | #Constraints:     200951
2477.14/2484.88	c #Conflicts:     486000 | #Constraints:     201951
2477.14/2484.88	c #Conflicts:     487000 | #Constraints:     202951
2477.14/2484.88	c #Conflicts:     488000 | #Constraints:     203951
2477.14/2484.88	c bounds -735 >= -878 @ 2461.03
2509.75/2517.55	c #Conflicts:     489000 | #Constraints:     205020
2509.75/2517.55	c #Conflicts:     490000 | #Constraints:     206020
2509.75/2517.55	c #Conflicts:     491000 | #Constraints:     207020
2509.75/2517.55	c #Conflicts:     492000 | #Constraints:     208020
2509.75/2517.55	c #Conflicts:     493000 | #Constraints:     209020
2509.75/2517.55	c #Conflicts:     494000 | #Constraints:     210020
2509.75/2517.55	c #Conflicts:     495000 | #Constraints:     211020
2509.75/2517.55	c #Conflicts:     496000 | #Constraints:     212020
2509.75/2517.55	c #Conflicts:     497000 | #Constraints:     213020
2509.75/2517.55	c #Conflicts:     498000 | #Constraints:     214020
2509.75/2517.55	c #Conflicts:     499000 | #Constraints:     215020
2509.75/2517.55	c #Conflicts:     500000 | #Constraints:     216020
2509.75/2517.55	c #Conflicts:     501000 | #Constraints:     217020
2509.75/2517.55	c #Conflicts:     502000 | #Constraints:     218020
2509.75/2517.55	c #Conflicts:     503000 | #Constraints:     219020
2509.75/2517.55	c #Conflicts:     504000 | #Constraints:     220020
2509.75/2517.55	c #Conflicts:     505000 | #Constraints:     221020
2509.75/2517.55	c #Conflicts:     506000 | #Constraints:     222020
2509.75/2517.55	c #Conflicts:     507000 | #Constraints:     223020
2509.75/2517.55	c #Conflicts:     508000 | #Constraints:     224020
2509.75/2517.55	c #Conflicts:     509000 | #Constraints:     225020
2509.75/2517.55	c #Conflicts:     510000 | #Constraints:     226020
2509.75/2517.55	c #Conflicts:     511000 | #Constraints:     227020
2509.75/2517.55	c #Conflicts:     512000 | #Constraints:     228020
2509.75/2517.55	c #Conflicts:     513000 | #Constraints:     229020
2509.75/2517.55	c bounds -735 >= -877 @ 2493.24
2734.46/2742.72	c #Conflicts:     514000 | #Constraints:     230059
2734.46/2742.72	c #Conflicts:     515000 | #Constraints:     231059
2734.46/2742.72	c #Conflicts:     516000 | #Constraints:     232059
2734.46/2742.72	c #Conflicts:     517000 | #Constraints:     233059
2734.46/2742.72	c #Conflicts:     518000 | #Constraints:     234059
2734.46/2742.72	c #Conflicts:     519000 | #Constraints:     235059
2734.46/2742.72	c #Conflicts:     520000 | #Constraints:     236059
2734.46/2742.72	c #Conflicts:     521000 | #Constraints:     237059
2734.46/2742.72	c #Conflicts:     522000 | #Constraints:     238059
2734.46/2742.72	c #Conflicts:     523000 | #Constraints:     239059
2734.46/2742.72	c #Conflicts:     524000 | #Constraints:     240059
2734.46/2742.72	c INPROCESSING
2734.46/2742.72	c GARBAGE COLLECT
2734.46/2742.72	c rational objective -776.673
2886.82/2895.40	c #Conflicts:     525000 | #Constraints:     206433
2886.82/2895.40	c #Conflicts:     526000 | #Constraints:     207433
2886.82/2895.40	c #Conflicts:     527000 | #Constraints:     208433
2886.82/2895.40	c #Conflicts:     528000 | #Constraints:     209433
2886.82/2895.40	c #Conflicts:     529000 | #Constraints:     210433
2886.82/2895.40	c #Conflicts:     530000 | #Constraints:     211433
2886.82/2895.40	c #Conflicts:     531000 | #Constraints:     212433
2886.82/2895.40	c #Conflicts:     532000 | #Constraints:     213433
2886.82/2895.40	c #Conflicts:     533000 | #Constraints:     214433
2886.82/2895.40	c #Conflicts:     534000 | #Constraints:     215433
2886.82/2895.40	c #Conflicts:     535000 | #Constraints:     216433
2886.82/2895.40	c #Conflicts:     536000 | #Constraints:     217433
2886.82/2895.40	c #Conflicts:     537000 | #Constraints:     218433
2886.82/2895.40	c #Conflicts:     538000 | #Constraints:     219433
2886.82/2895.40	c #Conflicts:     539000 | #Constraints:     220433
2886.82/2895.40	c #Conflicts:     540000 | #Constraints:     221433
2886.82/2895.40	c #Conflicts:     541000 | #Constraints:     222433
2886.82/2895.40	c #Conflicts:     542000 | #Constraints:     223433
2886.82/2895.40	c INPROCESSING
2886.82/2895.40	c GARBAGE COLLECT
2886.82/2895.40	c #Conflicts:     543000 | #Constraints:     198410
2886.82/2895.40	c #Conflicts:     544000 | #Constraints:     199410
2886.82/2895.40	c #Conflicts:     545000 | #Constraints:     200410
2886.82/2895.40	c #Conflicts:     546000 | #Constraints:     201410
2886.82/2895.40	c #Conflicts:     547000 | #Constraints:     202410
2886.82/2895.40	c #Conflicts:     548000 | #Constraints:     203410
2886.82/2895.40	c #Conflicts:     549000 | #Constraints:     204410
2886.82/2895.40	c #Conflicts:     550000 | #Constraints:     205410
2886.82/2895.40	c #Conflicts:     551000 | #Constraints:     206410
2886.82/2895.40	c #Conflicts:     552000 | #Constraints:     207410
2886.82/2895.40	c bounds -735 >= -876 @ 2868.81
3074.19/3083.51	c #Conflicts:     553000 | #Constraints:     208479
3074.19/3083.51	c #Conflicts:     554000 | #Constraints:     209479
3074.19/3083.51	c #Conflicts:     555000 | #Constraints:     210479
3074.19/3083.51	c #Conflicts:     556000 | #Constraints:     211479
3074.19/3083.51	c #Conflicts:     557000 | #Constraints:     212479
3074.19/3083.51	c #Conflicts:     558000 | #Constraints:     213479
3074.19/3083.51	c #Conflicts:     559000 | #Constraints:     214479
3074.19/3083.51	c #Conflicts:     560000 | #Constraints:     215479
3074.19/3083.51	c INPROCESSING
3074.19/3083.51	c GARBAGE COLLECT
3074.19/3083.51	c #Conflicts:     561000 | #Constraints:     194486
3074.19/3083.51	c #Conflicts:     562000 | #Constraints:     195486
3074.19/3083.51	c #Conflicts:     563000 | #Constraints:     196486
3074.19/3083.51	c #Conflicts:     564000 | #Constraints:     197486
3074.19/3083.51	c #Conflicts:     565000 | #Constraints:     198486
3074.19/3083.51	c #Conflicts:     566000 | #Constraints:     199486
3074.19/3083.51	c #Conflicts:     567000 | #Constraints:     200486
3074.19/3083.51	c #Conflicts:     568000 | #Constraints:     201486
3074.19/3083.51	c #Conflicts:     569000 | #Constraints:     202486
3074.19/3083.51	c #Conflicts:     570000 | #Constraints:     203486
3074.19/3083.51	c #Conflicts:     571000 | #Constraints:     204486
3074.19/3083.51	c #Conflicts:     572000 | #Constraints:     205486
3074.19/3083.51	c #Conflicts:     573000 | #Constraints:     206486
3074.19/3083.51	c #Conflicts:     574000 | #Constraints:     207486
3074.19/3083.51	c #Conflicts:     575000 | #Constraints:     208486
3074.19/3083.51	c #Conflicts:     576000 | #Constraints:     209486
3074.19/3083.51	c #Conflicts:     577000 | #Constraints:     210486
3074.19/3083.51	c #Conflicts:     578000 | #Constraints:     211486
3074.19/3083.51	c INPROCESSING
3074.19/3083.51	c GARBAGE COLLECT
3074.19/3083.51	c rational objective -776.22
3268.97/3278.82	c #Conflicts:     579000 | #Constraints:     192454
3268.97/3278.82	c #Conflicts:     580000 | #Constraints:     193454
3268.97/3278.82	c #Conflicts:     581000 | #Constraints:     194454
3268.97/3278.82	c #Conflicts:     582000 | #Constraints:     195454
3268.97/3278.82	c #Conflicts:     583000 | #Constraints:     196454
3268.97/3278.82	c #Conflicts:     584000 | #Constraints:     197454
3268.97/3278.82	c #Conflicts:     585000 | #Constraints:     198454
3268.97/3278.82	c #Conflicts:     586000 | #Constraints:     199454
3268.97/3278.82	c #Conflicts:     587000 | #Constraints:     200454
3268.97/3278.82	c #Conflicts:     588000 | #Constraints:     201454
3268.97/3278.82	c #Conflicts:     589000 | #Constraints:     202454
3268.97/3278.82	c #Conflicts:     590000 | #Constraints:     203454
3268.97/3278.82	c #Conflicts:     591000 | #Constraints:     204454
3268.97/3278.82	c #Conflicts:     592000 | #Constraints:     205454
3268.97/3278.82	c #Conflicts:     593000 | #Constraints:     206454
3268.97/3278.82	c #Conflicts:     594000 | #Constraints:     207454
3268.97/3278.82	c #Conflicts:     595000 | #Constraints:     208454
3268.97/3278.82	c #Conflicts:     596000 | #Constraints:     209454
3268.97/3278.82	c #Conflicts:     597000 | #Constraints:     210454
3268.97/3278.82	c #Conflicts:     598000 | #Constraints:     211454
3268.97/3278.82	c #Conflicts:     599000 | #Constraints:     212454
3268.97/3278.82	c #Conflicts:     600000 | #Constraints:     213454
3268.97/3278.82	c #Conflicts:     601000 | #Constraints:     214454
3268.97/3278.82	c #Conflicts:     602000 | #Constraints:     215454
3268.97/3278.82	c #Conflicts:     603000 | #Constraints:     216454
3268.97/3278.82	c #Conflicts:     604000 | #Constraints:     217454
3268.97/3278.82	c #Conflicts:     605000 | #Constraints:     218454
3268.97/3278.82	c #Conflicts:     606000 | #Constraints:     219454
3268.97/3278.82	c #Conflicts:     607000 | #Constraints:     220454
3268.97/3278.82	c #Conflicts:     608000 | #Constraints:     221454
3268.97/3278.82	c #Conflicts:     609000 | #Constraints:     222454
3268.97/3278.82	c bounds -735 >= -875 @ 3249.27
3325.00/3335.07	c #Conflicts:     610000 | #Constraints:     223526
3325.00/3335.07	c #Conflicts:     611000 | #Constraints:     224526
3325.00/3335.07	c #Conflicts:     612000 | #Constraints:     225526
3325.00/3335.07	c #Conflicts:     613000 | #Constraints:     226526
3325.00/3335.07	c #Conflicts:     614000 | #Constraints:     227526
3325.00/3335.07	c #Conflicts:     615000 | #Constraints:     228526
3325.00/3335.07	c #Conflicts:     616000 | #Constraints:     229526
3325.00/3335.07	c #Conflicts:     617000 | #Constraints:     230526
3325.00/3335.07	c #Conflicts:     618000 | #Constraints:     231526
3325.00/3335.07	c #Conflicts:     619000 | #Constraints:     232526
3325.00/3335.07	c #Conflicts:     620000 | #Constraints:     233526
3325.00/3335.07	c #Conflicts:     621000 | #Constraints:     234526
3325.00/3335.07	c #Conflicts:     622000 | #Constraints:     235526
3325.00/3335.07	c #Conflicts:     623000 | #Constraints:     236526
3325.00/3335.07	c #Conflicts:     624000 | #Constraints:     237526
3325.00/3335.07	c #Conflicts:     625000 | #Constraints:     238526
3325.00/3335.07	c #Conflicts:     626000 | #Constraints:     239526
3325.00/3335.07	c #Conflicts:     627000 | #Constraints:     240526
3325.00/3335.07	c #Conflicts:     628000 | #Constraints:     241526
3325.00/3335.07	c #Conflicts:     629000 | #Constraints:     242526
3325.00/3335.07	c #Conflicts:     630000 | #Constraints:     243526
3325.00/3335.07	c #Conflicts:     631000 | #Constraints:     244526
3325.00/3335.07	c #Conflicts:     632000 | #Constraints:     245526
3325.00/3335.07	c #Conflicts:     633000 | #Constraints:     246526
3325.00/3335.07	c #Conflicts:     634000 | #Constraints:     247526
3325.00/3335.07	c INPROCESSING
3325.00/3335.07	c GARBAGE COLLECT
3325.00/3335.07	c #Conflicts:     635000 | #Constraints:     210406
3325.00/3335.07	c #Conflicts:     636000 | #Constraints:     211406
3325.00/3335.07	c #Conflicts:     637000 | #Constraints:     212406
3325.00/3335.07	c #Conflicts:     638000 | #Constraints:     213406
3325.00/3335.07	c #Conflicts:     639000 | #Constraints:     214406
3325.00/3335.07	c #Conflicts:     640000 | #Constraints:     215406
3325.00/3335.07	c #Conflicts:     641000 | #Constraints:     216406
3325.00/3335.07	c #Conflicts:     642000 | #Constraints:     217406
3325.00/3335.07	c #Conflicts:     643000 | #Constraints:     218406
3325.00/3335.07	c #Conflicts:     644000 | #Constraints:     219406
3325.00/3335.07	c #Conflicts:     645000 | #Constraints:     220406
3325.00/3335.07	c #Conflicts:     646000 | #Constraints:     221406
3325.00/3335.07	c #Conflicts:     647000 | #Constraints:     222406
3325.00/3335.07	c #Conflicts:     648000 | #Constraints:     223406
3325.00/3335.07	c #Conflicts:     649000 | #Constraints:     224406
3325.00/3335.07	c #Conflicts:     650000 | #Constraints:     225406
3325.00/3335.07	c #Conflicts:     651000 | #Constraints:     226406
3325.00/3335.07	c bounds -735 >= -874 @ 3304.71
3482.86/3493.39	c #Conflicts:     652000 | #Constraints:     227448
3482.86/3493.39	c #Conflicts:     653000 | #Constraints:     228448
3482.86/3493.39	c INPROCESSING
3482.86/3493.39	c GARBAGE COLLECT
3482.86/3493.39	c #Conflicts:     654000 | #Constraints:     200661
3482.86/3493.39	c #Conflicts:     655000 | #Constraints:     201661
3482.86/3493.39	c #Conflicts:     656000 | #Constraints:     202661
3482.86/3493.39	c #Conflicts:     657000 | #Constraints:     203661
3482.86/3493.39	c #Conflicts:     658000 | #Constraints:     204661
3482.86/3493.39	c #Conflicts:     659000 | #Constraints:     205661
3482.86/3493.39	c #Conflicts:     660000 | #Constraints:     206661
3482.86/3493.39	c #Conflicts:     661000 | #Constraints:     207661
3482.86/3493.39	c #Conflicts:     662000 | #Constraints:     208661
3482.86/3493.39	c #Conflicts:     663000 | #Constraints:     209661
3482.86/3493.39	c #Conflicts:     664000 | #Constraints:     210661
3482.86/3493.39	c #Conflicts:     665000 | #Constraints:     211661
3482.86/3493.39	c #Conflicts:     666000 | #Constraints:     212661
3482.86/3493.39	c #Conflicts:     667000 | #Constraints:     213661
3482.86/3493.39	c #Conflicts:     668000 | #Constraints:     214661
3482.86/3493.39	c #Conflicts:     669000 | #Constraints:     215661
3482.86/3493.39	c #Conflicts:     670000 | #Constraints:     216661
3482.86/3493.39	c #Conflicts:     671000 | #Constraints:     217661
3482.86/3493.39	c #Conflicts:     672000 | #Constraints:     218661
3482.86/3493.39	c #Conflicts:     673000 | #Constraints:     219661
3482.86/3493.39	c INPROCESSING
3482.86/3493.39	c GARBAGE COLLECT
3482.86/3493.39	c rational objective -776.21

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
solver pid=37735, runsolver pid=37722
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 0.96 2.01 2.81 6/269 37744
/proc/meminfo: memFree=129532468/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37743] ppid=37735 vsize=60736 memory=51992 CPUtime=0.06 cores=5,7
/proc/37743/stat : 37743 (pbsuma) R 37735 37735 37671 0 -1 4194304 5797 0 0 0 5 1 0 0 20 0 1 0 43760800 62193664 12998 18446744073709551615 4210688 4653049 140724622261616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 33767424 140724622264547 140724622264882 140724622264882 140724622270447 0
/proc/37743/statm: 15184 12998 960 108 0 12592 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 64928 KiB
Current children cumulated memory: 54936 KiB

[startup+0.205614 s]*
/proc/loadavg: 0.96 2.01 2.81 6/269 37744
/proc/meminfo: memFree=129311288/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37743] ppid=37735 vsize=151608 memory=116104 CPUtime=0.16 cores=5,7
/proc/37743/stat : 37743 (pbsuma) R 37735 37735 37671 0 -1 4194304 17926 0 0 0 12 4 0 0 20 0 1 0 43760800 155246592 29026 18446744073709551615 4210688 4653049 140724622261616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 33767424 140724622264547 140724622264882 140724622264882 140724622270447 0
/proc/37743/statm: 37902 29026 992 108 0 35310 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 155800 KiB
Current children cumulated memory: 119048 KiB

[startup+0.305612 s]*
/proc/loadavg: 0.96 2.01 2.81 6/269 37744
/proc/meminfo: memFree=129193784/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37743] ppid=37735 vsize=174304 memory=139300 CPUtime=0.26 cores=5,7
/proc/37743/stat : 37743 (pbsuma) R 37735 37735 37671 0 -1 4194304 25547 0 0 0 21 5 0 0 20 0 1 0 43760800 178487296 34825 18446744073709551615 4210688 4653049 140724622261616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 33767424 140724622264547 140724622264882 140724622264882 140724622270447 0
/proc/37743/statm: 43576 34825 1024 108 0 40984 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 178496 KiB
Current children cumulated memory: 142244 KiB

[startup+0.70013 s]
/proc/loadavg: 0.96 2.01 2.81 6/269 37744
/proc/meminfo: memFree=128894004/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37743] ppid=37735 vsize=235260 memory=172588 CPUtime=0.65 cores=5,7
/proc/37743/stat : 37743 (pbsuma) R 37735 37735 37671 0 -1 4194304 37948 0 0 0 58 7 0 0 20 0 1 0 43760800 240906240 43147 18446744073709551615 4210688 4653049 140724622261616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 33767424 140724622264547 140724622264882 140724622264882 140724622270447 0
/proc/37743/statm: 58815 43147 1024 108 0 56223 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 239452 KiB
Current children cumulated memory: 175532 KiB

[startup+1.50016 s]
/proc/loadavg: 0.96 2.01 2.81 5/269 37745
/proc/meminfo: memFree=129026776/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3.10552 s]
/proc/loadavg: 0.96 2.01 2.81 6/269 37748
/proc/meminfo: memFree=128476836/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37747] ppid=37735 vsize=359156 memory=263900 CPUtime=1.9 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37735 37735 37671 0 -1 4194304 34419 0 0 0 164 26 0 0 20 0 1 0 43760917 367775744 65975 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 89789 65975 2400 1147 0 77216 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 363348 KiB
Current children cumulated memory: 266844 KiB

[startup+6.3002 s]
/proc/loadavg: 1.20 2.04 2.81 6/269 37748
/proc/meminfo: memFree=128231680/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37747] ppid=37735 vsize=373184 memory=271520 CPUtime=5.08 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37735 37735 37671 0 -1 4194304 35348 0 0 0 476 32 0 0 20 0 1 0 43760917 382140416 67880 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 93296 67880 2400 1147 0 80723 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 377376 KiB
Current children cumulated memory: 274464 KiB

[startup+12.7002 s]
/proc/loadavg: 1.43 2.08 2.82 6/269 37748
/proc/meminfo: memFree=128046844/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37747] ppid=37735 vsize=381504 memory=281468 CPUtime=11.47 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37735 37735 37671 0 -1 4194304 37361 0 0 0 1107 40 0 0 20 0 1 0 43760917 390660096 70367 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 95376 70367 2400 1147 0 82803 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 385696 KiB
Current children cumulated memory: 284412 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.17 2.84 6/269 37748
/proc/meminfo: memFree=127683852/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37747] ppid=37735 vsize=388928 memory=287484 CPUtime=24.25 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37735 37735 37671 0 -1 4194304 38850 0 0 0 2373 52 0 0 20 0 1 0 43760917 398262272 71871 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 97232 71871 2400 1147 0 84659 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 393120 KiB
Current children cumulated memory: 290428 KiB

[startup+51.1055 s]
/proc/loadavg: 2.76 2.34 2.88 6/271 37751
/proc/meminfo: memFree=127025608/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37747] ppid=37735 vsize=510444 memory=391636 CPUtime=49.74 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37735 37735 37671 0 -1 4194304 58273 0 0 0 4867 107 0 0 20 0 1 0 43760917 522694656 97909 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 127611 97909 2432 1147 0 115038 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 514636 KiB
Current children cumulated memory: 394580 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 2.61 2.94 6/273 37755
/proc/meminfo: memFree=124432412/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37747] ppid=37735 vsize=561980 memory=437480 CPUtime=100.82 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37735 37735 37671 0 -1 4194304 66725 0 0 0 9906 176 0 0 20 0 1 0 43760917 575467520 109370 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 140495 109370 2432 1147 0 127922 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 566172 KiB
Current children cumulated memory: 440424 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 2.91 3.03 6/273 37757
/proc/meminfo: memFree=123004480/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37747] ppid=37735 vsize=590200 memory=469608 CPUtime=160.6 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37735 37735 37671 0 -1 4194304 72771 0 0 0 15824 236 0 0 20 0 1 0 43760917 604364800 117402 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 147550 117402 2432 1147 0 134977 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 594392 KiB
Current children cumulated memory: 472552 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 3.14 3.10 6/272 37759
/proc/meminfo: memFree=121094312/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37747] ppid=37735 vsize=624548 memory=488956 CPUtime=220.47 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37735 37735 37671 0 -1 4194304 74557 0 0 0 21772 275 0 0 20 0 1 0 43760917 639537152 122239 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 156137 122239 2432 1147 0 143564 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 628740 KiB

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

/proc/meminfo: memFree=66640356/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37747] ppid=37735 vsize=1177928 memory=1056788 CPUtime=3271.34 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37735 37735 37671 0 -1 4194304 132587 0 0 0 325268 1866 0 0 20 0 1 0 43760917 1206198272 264197 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 294482 264197 2432 1147 0 281909 0
Current children cumulated CPU time: 3272.45 s
Current children cumulated vsize: 1182120 KiB
Current children cumulated memory: 1059732 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.14 4.10 5/274 38045
/proc/meminfo: memFree=65262228/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37747] ppid=37735 vsize=1177928 memory=1056916 CPUtime=3331.15 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37735 37735 37671 0 -1 4194304 132603 0 0 0 331182 1933 0 0 20 0 1 0 43760917 1206198272 264229 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 294482 264229 2432 1147 0 281909 0
Current children cumulated CPU time: 3332.26 s
Current children cumulated vsize: 1182120 KiB
Current children cumulated memory: 1059860 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/274 38047
/proc/meminfo: memFree=64481908/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37747] ppid=37735 vsize=1177928 memory=1056916 CPUtime=3390.99 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37735 37735 37671 0 -1 4194304 132714 0 0 0 337126 1973 0 0 20 0 1 0 43760917 1206198272 264229 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 294482 264229 2432 1147 0 281909 0
Current children cumulated CPU time: 3392.1 s
Current children cumulated vsize: 1182120 KiB
Current children cumulated memory: 1059860 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/274 38049
/proc/meminfo: memFree=63931532/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37747] ppid=37735 vsize=1180600 memory=1057940 CPUtime=3450.82 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37735 37735 37671 0 -1 4194304 132997 0 0 0 343098 1984 0 0 20 0 1 0 43760917 1208934400 264485 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 295150 264485 2432 1147 0 282577 0
Current children cumulated CPU time: 3451.93 s
Current children cumulated vsize: 1184792 KiB
Current children cumulated memory: 1060884 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/273 38051
/proc/meminfo: memFree=63456912/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37747] ppid=37735 vsize=1180600 memory=1057940 CPUtime=3510.67 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37735 37735 37671 0 -1 4194304 133115 0 0 0 349042 2025 0 0 20 0 1 0 43760917 1208934400 264485 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 295150 264485 2432 1147 0 282577 0
Current children cumulated CPU time: 3511.78 s
Current children cumulated vsize: 1184792 KiB
Current children cumulated memory: 1060884 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/271 38053
/proc/meminfo: memFree=62789632/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37747] ppid=37735 vsize=1180600 memory=1058068 CPUtime=3570.5 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37735 37735 37671 0 -1 4194304 133143 0 0 0 355014 2036 0 0 20 0 1 0 43760917 1208934400 264517 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 295150 264517 2432 1147 0 282577 0
Current children cumulated CPU time: 3571.61 s
Current children cumulated vsize: 1184792 KiB
Current children cumulated memory: 1061012 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/272 38056
/proc/meminfo: memFree=62391964/131249996 swapFree=33010684/33010684
[pid=37735] ppid=37722 vsize=4192 memory=2944 CPUtime=1.11 cores=5,7
/proc/37735/stat : 37735 (run-opt-break-l) S 37722 37735 37671 0 -1 4194304 240 38634 0 0 0 0 102 9 20 0 1 0 43760798 4292608 736 18446744073709551615 94003060113408 94003061007941 140722052019552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94003061246992 94003061294736 94003064291328 140722052024597 140722052024798 140722052024798 140722052030400 0
/proc/37735/statm: 1048 736 672 219 0 110 0
[pid=37747] ppid=37735 vsize=1180600 memory=1058068 CPUtime=3598.93 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37735 37735 37671 0 -1 4194304 133143 0 0 0 357848 2045 0 0 20 0 1 0 43760917 1208934400 264517 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 295150 264517 2432 1147 0 282577 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1184792 KiB
Current children cumulated memory: 1061012 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

[startup+3612.81 s]
# the end of solver process 37747 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3581.5 s, system=20.5704 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.16 4.13 4.09 6/271 38056
/proc/meminfo: memFree=62383932/131249996 swapFree=33010684/33010684
[pid=37747] ppid=37722 vsize=1180600 memory=1058068 CPUtime=3599.33 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37722 37735 37671 0 -1 4194304 133143 0 0 0 357888 2045 0 0 20 0 1 0 43760917 1208934400 264517 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 295150 264517 2432 1147 0 282577 0
Current cumulated CPU time of completed processes: 1.1226 s
Current children cumulated CPU time: 3599.33 s
Current children cumulated vsize: 1180600 KiB
Current children cumulated memory: 1058068 KiB

[startup+3612 s]*
/proc/loadavg: 4.16 4.13 4.09 5/271 38056
/proc/meminfo: memFree=62375868/131249996 swapFree=33010684/33010684
[pid=37747] ppid=37722 vsize=1180600 memory=1058068 CPUtime=3600.13 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37722 37735 37671 0 -1 4194304 133143 0 0 0 357968 2045 0 0 20 0 1 0 43760917 1208934400 264517 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 295150 264517 2432 1147 0 282577 0
Current cumulated CPU time of completed processes: 1.1226 s
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 1180600 KiB
Current children cumulated memory: 1058068 KiB

[startup+3612.4 s]
/proc/loadavg: 4.16 4.13 4.09 5/271 38056
/proc/meminfo: memFree=62375868/131249996 swapFree=33010684/33010684
[pid=37747] ppid=37722 vsize=1180600 memory=1058068 CPUtime=3600.53 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37722 37735 37671 0 -1 4194304 133143 0 0 0 358007 2046 0 0 20 0 1 0 43760917 1208934400 264517 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 295150 264517 2432 1147 0 282577 0
Current cumulated CPU time of completed processes: 1.1226 s
Current children cumulated CPU time: 3600.53 s
Current children cumulated vsize: 1180600 KiB
Current children cumulated memory: 1058068 KiB

[startup+3612.8 s]
/proc/loadavg: 4.16 4.13 4.09 5/271 38056
/proc/meminfo: memFree=62375868/131249996 swapFree=33010684/33010684
[pid=37747] ppid=37722 vsize=1180600 memory=1058068 CPUtime=3600.93 cores=5,7
/proc/37747/stat : 37747 (roundingsat) R 37722 37735 37671 0 -1 4194304 133143 0 0 0 358047 2046 0 0 20 0 1 0 43760917 1208934400 264517 18446744073709551615 4227072 8923433 140723499085296 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33411072 140723499092244 140723499092520 140723499092520 140723499098090 0
/proc/37747/statm: 295150 264517 2432 1147 0 282577 0
Current cumulated CPU time of completed processes: 1.1226 s
Current children cumulated CPU time: 3600.93 s
Current children cumulated vsize: 1180600 KiB
Current children cumulated memory: 1058068 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3612.81
CPU time (s): 3602.07
CPU user time (s): 3581.5
CPU system time (s): 20.5704
CPU usage (%): 99.7027
Max. virtual memory (cumulated for all children) (KiB): 1184792
Max. memory (cumulated for all children) (KiB): 1061012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.5
system time used= 20.5704
maximum resident set size= 1058068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172017
page faults= 0
swaps= 0
block input operations= 8
block output operations= 25463272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 827
involuntary context switches= 3370


# summary of solver processes directly reported to runsolver:
#   pid: 37735,37747
#   total CPU time (s): 3602.07
#   total CPU user time (s): 3581.5
#   total CPU system time (s): 20.5704

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12695 second user time and 15.8978 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-06-30 12:53:53
IDJOB=4483899
IDBENCH=145528
IDSOLVER=3360
FILE ID=nodeC015/4483899-1751280833
RUNJOBID= nodeC015-1751280833-37684
SLURM_JOB_ID= 9594231
Free space on /tmp= 432988 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_seq/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_sequential.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4483899-1751280833/watcher-4483899-1751280833 -o /tmp/evaluation-result-4483899-1751280833/solver-4483899-1751280833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751280833-37684 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4483899-1751280833.opb PROOFDIR/proof-4483899-1751280833

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

MD5SUM BENCH= dbf55fafe8c36fc4d34bf230f66c30bf
RANDOM SEED=1668789037

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129720816 kB
MemAvailable:   129737768 kB
Buffers:            3280 kB
Cached:           824516 kB
SwapCached:            0 kB
Active:           335948 kB
Inactive:         567996 kB
Active(anon):      94224 kB
Inactive(anon):        0 kB
Active(file):     241724 kB
Inactive(file):   567996 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             55412 kB
Writeback:             0 kB
AnonPages:         79348 kB
Mapped:           102692 kB
Shmem:             18076 kB
KReclaimable:      92944 kB
Slab:             180156 kB
SReclaimable:      92944 kB
SUnreclaim:        87212 kB
KernelStack:        3956 kB
PageTables:         2680 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432948 MiB
End job on nodeC015 at 2025-06-30 13:54:06