Trace number 4531725

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-ls+pbsuma-log 0f876b3? (TO) 3602.05 3622.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.03	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.03	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.03	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.03	c │      (c) 2025 Markus Anders                                    │
0.00/0.03	c └────────────────────────────────────────────────────────────────┘
0.00/0.03	c parse 'HOME/instance-4531725-1752584602.opb'
0.06/0.12	c 	read 5.37MB  (93.59ms)
0.06/0.12	c	 [cnf: #variables 81322 #clauses 161484 #duplicates 0 #arr 423871]
0.06/0.12	c output proof to 'PROOFDIR/proof-4531725-1752584602'
0.06/0.13	c 
0.06/0.13	c make graph and approximate orbits
0.17/0.24	c	 [group: #orbits ~= 24738] (114.23ms)
0.17/0.24	c 
0.17/0.24	c detect special group actions
0.17/0.24	c 	probe for Johnson action (limit=64)
0.17/0.24	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.17/0.27	c 	probe for row symmetry (limit=64, splits=16.78M)
0.17/0.27	c 	 (28.92ms)
0.17/0.27	c 
0.17/0.27	c detect symmetries on remainder
0.17/0.27	c 	[graph: #vertices 490770 #edges 1343670]
0.17/0.27	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.36/0.43	c 	 [group: #symmetries 7.67*10^73 #generators 166] (158.87ms)
0.36/0.43	c 
0.36/0.43	c optimize generators (opt_passes=64, conjugate_limit=256)
0.36/0.43	c 	ran it=0, +gens=1 
0.85/0.97	c 	con best_support=532, best_gens=166, +gens=49
0.85/0.97	c 	(545.91ms)
0.85/0.97	c 
0.85/0.97	c finalize break order and special generators
0.85/0.98	c 
0.85/0.98	c add generic predicates (break_depth=20)
0.85/0.98	c 	added predicates for 216 generators (0.97ms)
0.96/1.08	c 
0.96/1.08	c generation finished
0.96/1.08	c 	[sbp: #constraints 12528 #add_vars 4104]
0.96/1.09	c 
0.96/1.09	c write result to 'HOME/instance-4531725-1752584602.opb.pre'
0.96/1.10	c 	wrote 5.97MB (13.00ms)
0.96/1.10	c ------------------------------------------------------------------
0.96/1.10	c                 545.91ms 51.05% optimize_gens
0.96/1.10	c                 158.87ms 14.86% detect_generic
0.96/1.10	c                 114.23ms 10.68% approx_orbits
0.96/1.10	c                 109.67ms 10.25% other
0.96/1.10	c                  93.59ms  8.75% parse
0.96/1.10	c                  28.92ms  2.70% detect_special
0.96/1.10	c                  13.00ms  1.22% output
0.96/1.10	c                   4.27ms  0.40% finalize_order
0.96/1.10	c                   0.97ms  0.09% break_generic
0.96/1.10	c         ───────────────────────────────────────────────
0.96/1.10	c                1069.43ms   100% total
0.96/1.10	c ------------------------------------------------------------------
1.05/1.16	c RoundingSat 2
1.05/1.16	c branch pb25
1.05/1.16	c commit 0f876b3
2.10/2.21	c #variables 85426 #constraints 174010
2.10/2.21	c objective is ce32 
4.80/4.99	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.80/4.99	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
4.80/4.99	c bounds - >= -1251 @ 3.6103
5.50/5.67	c bounds 0 >= -1251 @ 4.21946
5.59/5.75	c bounds -256 >= -1251 @ 4.30422
6.29/6.42	c bounds -264 >= -1251 @ 4.95328
7.49/7.65	c bounds -265 >= -1251 @ 6.16344
10.38/10.54	c bounds -267 >= -1251 @ 9.0062
18.06/18.28	c bounds -268 >= -1251 @ 16.6381
34.12/34.36	c rational objective -809.4
35.12/35.38	c bounds -269 >= -1251 @ 33.462
35.22/35.40	c bounds -271 >= -1251 @ 33.4849
35.22/35.43	c bounds -272 >= -1251 @ 33.5079
35.22/35.45	c bounds -273 >= -1251 @ 33.5321
36.12/36.35	c #Conflicts:       1000 | #Constraints:     175022
36.12/36.35	c bounds -464 >= -1251 @ 34.4039
36.12/36.38	c bounds -468 >= -1251 @ 34.4272
36.22/36.40	c bounds -470 >= -1251 @ 34.4488
36.22/36.42	c bounds -472 >= -1251 @ 34.4706
36.22/36.45	c bounds -473 >= -1251 @ 34.4908
36.22/36.47	c bounds -481 >= -1251 @ 34.5128
36.22/36.49	c bounds -482 >= -1251 @ 34.5359
36.32/36.52	c bounds -483 >= -1251 @ 34.559
36.32/36.54	c bounds -487 >= -1251 @ 34.5811
36.32/36.56	c bounds -488 >= -1251 @ 34.6053
36.32/36.59	c bounds -489 >= -1251 @ 34.6284
36.42/36.61	c bounds -490 >= -1251 @ 34.6515
36.42/36.63	c bounds -492 >= -1251 @ 34.6755
36.42/36.66	c bounds -493 >= -1251 @ 34.6959
36.42/36.68	c bounds -494 >= -1251 @ 34.7191
36.52/36.70	c bounds -498 >= -1251 @ 34.741
36.52/36.73	c bounds -500 >= -1251 @ 34.7639
36.52/36.75	c bounds -501 >= -1251 @ 34.784
36.52/36.77	c bounds -502 >= -1251 @ 34.8052
36.62/36.80	c bounds -503 >= -1251 @ 34.8263
36.62/36.82	c bounds -505 >= -1251 @ 34.8495
36.62/36.85	c bounds -506 >= -1251 @ 34.8738
36.62/36.87	c bounds -507 >= -1251 @ 34.8959
36.62/36.89	c bounds -509 >= -1251 @ 34.918
36.72/36.92	c bounds -513 >= -1251 @ 34.9421
36.72/36.94	c bounds -521 >= -1251 @ 34.9633
36.72/36.96	c bounds -522 >= -1251 @ 34.9857
36.72/36.99	c bounds -523 >= -1251 @ 35.0099
36.82/37.01	c bounds -524 >= -1251 @ 35.0352
36.82/37.09	c bounds -525 >= -1251 @ 35.1089
36.93/37.11	c bounds -527 >= -1251 @ 35.1336
47.38/47.69	c #Conflicts:       2000 | #Constraints:     176053
47.38/47.69	c INPROCESSING
47.38/47.69	c GARBAGE COLLECT
47.38/47.69	c bounds -528 >= -1251 @ 45.4741
48.89/49.15	c #Conflicts:       3000 | #Constraints:     172022
48.89/49.15	c #Conflicts:       4000 | #Constraints:     173022
48.89/49.15	c INPROCESSING
48.89/49.15	c GARBAGE COLLECT
48.89/49.15	c bounds -529 >= -1251 @ 46.8991
48.89/49.17	c bounds -530 >= -1251 @ 46.9223
48.98/49.20	c bounds -532 >= -1251 @ 46.9498
50.58/50.89	c bounds -533 >= -1251 @ 48.6071
50.68/50.90	c bounds -533 >= -1183 @ 48.6157
50.68/50.92	c bounds -533 >= -1179 @ 48.6361
51.67/51.90	c #Conflicts:       5000 | #Constraints:     172395
51.67/51.90	c bounds -533 >= -1175 @ 49.5664
51.67/51.93	c bounds -534 >= -1175 @ 49.5964
52.78/53.05	c bounds -535 >= -1175 @ 50.6742
56.06/56.33	c #Conflicts:       6000 | #Constraints:     173406
56.06/56.33	c INPROCESSING
56.06/56.33	c GARBAGE COLLECT
56.06/56.33	c bounds -536 >= -1175 @ 53.8747
56.66/56.94	c bounds -537 >= -1175 @ 54.4698
57.45/57.70	c #Conflicts:       7000 | #Constraints:     172302
57.45/57.70	c bounds -539 >= -1175 @ 55.2195
61.44/61.72	c bounds -540 >= -1175 @ 59.1862
61.44/61.72	c bounds -540 >= -1173 @ 59.1872
61.44/61.72	c bounds -540 >= -1171 @ 59.1884
61.44/61.72	c bounds -540 >= -1111 @ 59.1908
61.44/61.74	c #Conflicts:       8000 | #Constraints:     173316
61.44/61.74	c bounds -540 >= -1109 @ 59.2053
61.44/61.74	c bounds -540 >= -1107 @ 59.2108
61.44/61.76	c bounds -540 >= -1105 @ 59.2285
61.44/61.79	c bounds -540 >= -1103 @ 59.2537
61.44/61.79	c bounds -540 >= -1101 @ 59.2601
61.55/61.80	c bounds -540 >= -1099 @ 59.2654
61.55/61.81	c bounds -540 >= -1097 @ 59.2743
61.55/61.83	c bounds -540 >= -1095 @ 59.2889
61.55/61.85	c bounds -540 >= -1093 @ 59.3167
61.55/61.87	c bounds -540 >= -1091 @ 59.332
61.64/61.90	c bounds -540 >= -1089 @ 59.3603
61.64/61.92	c bounds -540 >= -1087 @ 59.3834
61.64/61.97	c bounds -540 >= -1085 @ 59.4305
61.75/62.04	c bounds -540 >= -1083 @ 59.5007
61.75/62.08	c bounds -540 >= -1081 @ 59.5416
61.84/62.10	c bounds -540 >= -1079 @ 59.5616
61.84/62.19	c bounds -540 >= -1077 @ 59.6444
61.94/62.23	c bounds -540 >= -1075 @ 59.6775
61.94/62.28	c #Conflicts:       9000 | #Constraints:     174642
61.94/62.28	c bounds -540 >= -1073 @ 59.7226
62.14/62.45	c INPROCESSING
62.14/62.45	c GARBAGE COLLECT
62.14/62.45	c bounds -540 >= -1071 @ 59.8879
62.24/62.53	c bounds -540 >= -1069 @ 59.9637
62.24/62.59	c bounds -540 >= -1067 @ 60.0223
62.34/62.65	c bounds -540 >= -1065 @ 60.0804
62.34/62.69	c #Conflicts:      10000 | #Constraints:     173358
62.34/62.69	c bounds -540 >= -1063 @ 60.1149
62.44/62.71	c bounds -540 >= -1061 @ 60.137
62.44/62.74	c bounds -540 >= -1059 @ 60.1707
62.44/62.78	c bounds -540 >= -1057 @ 60.2044
62.54/62.83	c bounds -540 >= -1055 @ 60.2595
62.54/62.88	c bounds -540 >= -1053 @ 60.3073
62.64/62.95	c bounds -540 >= -1051 @ 60.3709
62.74/63.09	c #Conflicts:      11000 | #Constraints:     174526
62.74/63.09	c bounds -540 >= -1049 @ 60.4998
63.14/63.46	c #Conflicts:      12000 | #Constraints:     175556
63.14/63.46	c INPROCESSING
63.14/63.46	c bounds -540 >= -1047 @ 60.8648
63.44/63.72	c #Conflicts:      13000 | #Constraints:     173942
63.44/63.72	c bounds -540 >= -1045 @ 61.1117
63.64/63.95	c bounds -540 >= -1043 @ 61.3401
63.94/64.20	c #Conflicts:      14000 | #Constraints:     175020
63.94/64.20	c bounds -540 >= -1041 @ 61.5874
64.14/64.49	c #Conflicts:      15000 | #Constraints:     176050
64.14/64.49	c INPROCESSING
64.14/64.49	c bounds -540 >= -1039 @ 61.8669
67.33/67.61	c #Conflicts:      16000 | #Constraints:     174218
67.33/67.61	c bounds -544 >= -1039 @ 64.9464
67.73/68.10	c #Conflicts:      17000 | #Constraints:     175219
67.73/68.10	c bounds -544 >= -1037 @ 65.4214
68.22/68.56	c #Conflicts:      18000 | #Constraints:     176249
68.22/68.56	c bounds -544 >= -1035 @ 65.8639
68.52/68.88	c INPROCESSING
68.52/68.88	c GARBAGE COLLECT
68.52/68.88	c bounds -544 >= -1033 @ 66.1789
68.92/69.23	c #Conflicts:      19000 | #Constraints:     174177
68.92/69.23	c bounds -544 >= -1031 @ 66.5165
72.41/72.71	c #Conflicts:      20000 | #Constraints:     175207
72.41/72.71	c bounds -550 >= -1031 @ 69.9283
72.61/72.95	c bounds -550 >= -1029 @ 70.1651
72.82/73.15	c #Conflicts:      21000 | #Constraints:     176227
72.82/73.15	c bounds -550 >= -1027 @ 70.3615
72.91/73.26	c bounds -550 >= -1025 @ 70.47
73.21/73.53	c INPROCESSING
73.21/73.53	c GARBAGE COLLECT
73.21/73.53	c bounds -550 >= -1023 @ 70.733
73.51/73.83	c #Conflicts:      22000 | #Constraints:     174055
73.51/73.83	c bounds -550 >= -1021 @ 71.0294
73.90/74.25	c #Conflicts:      23000 | #Constraints:     175088
73.90/74.25	c bounds -550 >= -1019 @ 71.4419
74.61/74.94	c #Conflicts:      24000 | #Constraints:     176118
74.61/74.94	c bounds -550 >= -1017 @ 72.1178
74.90/75.26	c bounds -551 >= -1017 @ 72.4222
76.40/76.79	c #Conflicts:      25000 | #Constraints:     177149
76.40/76.79	c #Conflicts:      26000 | #Constraints:     178149
76.40/76.79	c bounds -551 >= -1015 @ 73.9221
76.49/76.81	c bounds -552 >= -1015 @ 73.947
76.99/77.31	c bounds -553 >= -1015 @ 74.4256
76.99/77.34	c bounds -554 >= -1015 @ 74.4525
77.10/77.42	c bounds -555 >= -1015 @ 74.5325
77.10/77.45	c bounds -556 >= -1015 @ 74.5577
77.10/77.47	c bounds -557 >= -1015 @ 74.5834
81.18/81.55	c #Conflicts:      27000 | #Constraints:     179200
81.18/81.55	c bounds -558 >= -1015 @ 78.6115
83.08/83.45	c #Conflicts:      28000 | #Constraints:     180201
83.08/83.45	c #Conflicts:      29000 | #Constraints:     181201
83.08/83.45	c bounds -558 >= -1013 @ 80.4757
85.87/86.23	c #Conflicts:      30000 | #Constraints:     182237
85.87/86.23	c #Conflicts:      31000 | #Constraints:     183237
85.87/86.23	c #Conflicts:      32000 | #Constraints:     184237
85.87/86.23	c bounds -558 >= -1011 @ 83.1996
86.67/87.02	c bounds -559 >= -1011 @ 83.97
87.77/88.12	c #Conflicts:      33000 | #Constraints:     185262
87.77/88.12	c bounds -560 >= -1011 @ 85.0569
88.26/88.62	c INPROCESSING
88.26/88.62	c GARBAGE COLLECT
88.26/88.62	c bounds -561 >= -1011 @ 85.547
89.95/90.37	c bounds -565 >= -1011 @ 87.2844
119.07/119.51	c #Conflicts:      34000 | #Constraints:     178747
119.07/119.51	c #Conflicts:      35000 | #Constraints:     179747
119.07/119.51	c #Conflicts:      36000 | #Constraints:     180748
119.07/119.51	c #Conflicts:      37000 | #Constraints:     181748
119.07/119.51	c #Conflicts:      38000 | #Constraints:     182748
119.07/119.51	c INPROCESSING
119.07/119.51	c GARBAGE COLLECT
119.07/119.51	c bounds -566 >= -1011 @ 116.113
119.07/119.54	c bounds -567 >= -1011 @ 116.146
119.07/119.59	c bounds -569 >= -1011 @ 116.19
119.17/119.62	c bounds -571 >= -1011 @ 116.221
119.17/119.65	c bounds -573 >= -1011 @ 116.252
124.66/125.17	c #Conflicts:      39000 | #Constraints:     177612
124.66/125.17	c #Conflicts:      40000 | #Constraints:     178612
124.66/125.17	c bounds -575 >= -1011 @ 121.72
124.66/125.18	c bounds -575 >= -979 @ 121.733
124.75/125.20	c bounds -575 >= -978 @ 121.744
124.75/125.22	c bounds -575 >= -977 @ 121.772
124.75/125.24	c bounds -575 >= -976 @ 121.789
124.75/125.25	c bounds -575 >= -975 @ 121.796
124.75/125.25	c bounds -575 >= -974 @ 121.8
124.75/125.26	c bounds -575 >= -973 @ 121.803
124.75/125.26	c bounds -575 >= -972 @ 121.807
124.75/125.26	c bounds -575 >= -971 @ 121.81
124.75/125.27	c bounds -575 >= -970 @ 121.814
124.75/125.27	c bounds -575 >= -969 @ 121.817
124.75/125.27	c bounds -575 >= -968 @ 121.821
124.75/125.28	c bounds -575 >= -967 @ 121.824
124.75/125.28	c bounds -575 >= -966 @ 121.829
124.75/125.28	c bounds -575 >= -965 @ 121.832
124.75/125.29	c bounds -575 >= -964 @ 121.836
124.75/125.29	c bounds -575 >= -963 @ 121.839
124.75/125.29	c bounds -575 >= -962 @ 121.843
124.85/125.30	c bounds -575 >= -961 @ 121.845
124.85/125.30	c bounds -575 >= -960 @ 121.849
124.85/125.31	c bounds -575 >= -959 @ 121.852
124.85/125.31	c bounds -575 >= -958 @ 121.856
124.85/125.31	c bounds -575 >= -957 @ 121.859
124.85/125.32	c bounds -575 >= -956 @ 121.863
124.85/125.32	c bounds -575 >= -955 @ 121.866
124.85/125.32	c bounds -575 >= -954 @ 121.87
124.85/125.33	c bounds -575 >= -953 @ 121.874
124.85/125.33	c bounds -575 >= -952 @ 121.878
124.85/125.34	c bounds -575 >= -951 @ 121.881
124.85/125.34	c bounds -575 >= -950 @ 121.885
124.85/125.34	c bounds -575 >= -949 @ 121.887
124.85/125.35	c bounds -575 >= -948 @ 121.892
124.85/125.35	c bounds -575 >= -947 @ 121.895
124.85/125.35	c bounds -575 >= -946 @ 121.899
124.85/125.36	c bounds -575 >= -945 @ 121.903
124.85/125.36	c bounds -575 >= -944 @ 121.907
124.85/125.37	c bounds -575 >= -943 @ 121.91
124.85/125.37	c bounds -575 >= -942 @ 121.914
124.85/125.37	c bounds -575 >= -941 @ 121.917
124.85/125.38	c bounds -575 >= -940 @ 121.921
124.85/125.38	c bounds -575 >= -939 @ 121.924
124.85/125.39	c bounds -575 >= -938 @ 121.936
125.15/125.68	c bounds -575 >= -937 @ 122.213
125.25/125.70	c bounds -575 >= -936 @ 122.235
125.35/125.83	c bounds -575 >= -935 @ 122.367
125.65/126.18	c bounds -575 >= -934 @ 122.701
125.75/126.22	c bounds -575 >= -933 @ 122.741
125.85/126.31	c bounds -575 >= -932 @ 122.83
125.94/126.42	c #Conflicts:      41000 | #Constraints:     179946
125.94/126.42	c bounds -575 >= -931 @ 122.938
126.14/126.66	c bounds -575 >= -930 @ 123.182
126.35/126.86	c #Conflicts:      42000 | #Constraints:     181000
126.35/126.86	c bounds -575 >= -929 @ 123.371
129.23/129.79	c INPROCESSING
129.23/129.79	c GARBAGE COLLECT
129.23/129.79	c bounds -575 >= -928 @ 126.271
129.44/129.90	c #Conflicts:      43000 | #Constraints:     176381
129.44/129.90	c bounds -575 >= -927 @ 126.377
129.73/130.24	c bounds -575 >= -926 @ 126.707
129.94/130.44	c #Conflicts:      44000 | #Constraints:     177432
129.94/130.44	c bounds -575 >= -925 @ 126.906
130.23/130.77	c bounds -575 >= -924 @ 127.229
130.54/131.10	c #Conflicts:      45000 | #Constraints:     178480
130.54/131.10	c bounds -575 >= -923 @ 127.545
131.33/131.81	c #Conflicts:      46000 | #Constraints:     179507
131.33/131.81	c #Conflicts:      47000 | #Constraints:     180507
131.33/131.81	c bounds -575 >= -922 @ 128.238
132.03/132.58	c #Conflicts:      48000 | #Constraints:     181549
132.03/132.58	c INPROCESSING
132.03/132.58	c GARBAGE COLLECT
132.03/132.58	c bounds -576 >= -922 @ 128.997
132.13/132.61	c bounds -577 >= -922 @ 129.021
135.62/136.11	c bounds -578 >= -922 @ 132.472
136.31/136.85	c #Conflicts:      49000 | #Constraints:     177203
136.31/136.85	c #Conflicts:      50000 | #Constraints:     178203
136.31/136.85	c bounds -578 >= -921 @ 133.193
136.81/137.33	c #Conflicts:      51000 | #Constraints:     179239
136.81/137.33	c bounds -578 >= -920 @ 133.668
137.41/137.93	c #Conflicts:      52000 | #Constraints:     180278
137.41/137.93	c #Conflicts:      53000 | #Constraints:     181278
137.41/137.93	c bounds -578 >= -919 @ 134.253
138.21/138.78	c #Conflicts:      54000 | #Constraints:     182326
138.21/138.78	c #Conflicts:      55000 | #Constraints:     183326
138.21/138.78	c bounds -578 >= -918 @ 135.084
142.09/142.60	c #Conflicts:      56000 | #Constraints:     184368
142.09/142.60	c bounds -579 >= -918 @ 138.859
142.19/142.78	c bounds -579 >= -917 @ 139.043
142.49/143.07	c bounds -579 >= -916 @ 139.329
143.00/143.55	c #Conflicts:      57000 | #Constraints:     185414
143.00/143.55	c bounds -579 >= -915 @ 139.794
143.59/144.15	c #Conflicts:      58000 | #Constraints:     186450
143.59/144.15	c bounds -579 >= -914 @ 140.389
144.78/145.36	c #Conflicts:      59000 | #Constraints:     187477
144.78/145.36	c bounds -580 >= -914 @ 141.571
145.79/146.37	c #Conflicts:      60000 | #Constraints:     188478
145.79/146.37	c bounds -580 >= -913 @ 142.565
147.18/147.74	c #Conflicts:      61000 | #Constraints:     189518
147.18/147.74	c bounds -581 >= -913 @ 143.907
210.50/211.20	c #Conflicts:      62000 | #Constraints:     190519
210.50/211.20	c bounds -581 >= -912 @ 206.93
214.79/215.56	c #Conflicts:      63000 | #Constraints:     191555
214.79/215.56	c #Conflicts:      64000 | #Constraints:     192555
214.79/215.56	c bounds -582 >= -912 @ 211.226
216.79/217.52	c #Conflicts:      65000 | #Constraints:     193556
216.79/217.52	c INPROCESSING
216.79/217.52	c GARBAGE COLLECT
216.79/217.52	c #Conflicts:      66000 | #Constraints:     183180
216.79/217.52	c bounds -582 >= -911 @ 213.146
217.88/218.69	c #Conflicts:      67000 | #Constraints:     184222
217.88/218.69	c #Conflicts:      68000 | #Constraints:     185222
217.88/218.69	c bounds -582 >= -910 @ 214.285
221.67/222.49	c #Conflicts:      69000 | #Constraints:     186267
221.67/222.49	c #Conflicts:      70000 | #Constraints:     187267
221.67/222.49	c #Conflicts:      71000 | #Constraints:     188267
221.67/222.49	c INPROCESSING
221.67/222.49	c GARBAGE COLLECT
221.67/222.49	c #Conflicts:      72000 | #Constraints:     180366
221.67/222.49	c bounds -583 >= -910 @ 218.014
222.06/222.89	c bounds -584 >= -910 @ 218.412
223.67/224.44	c #Conflicts:      73000 | #Constraints:     181368
223.67/224.44	c #Conflicts:      74000 | #Constraints:     182368
223.67/224.44	c #Conflicts:      75000 | #Constraints:     183368
223.67/224.44	c bounds -584 >= -909 @ 219.929
223.86/224.61	c bounds -585 >= -909 @ 220.09
223.86/224.64	c bounds -586 >= -909 @ 220.116
223.86/224.67	c bounds -587 >= -909 @ 220.141
223.96/224.70	c bounds -589 >= -909 @ 220.17
223.96/224.73	c bounds -591 >= -909 @ 220.201
225.26/226.05	c bounds -592 >= -909 @ 221.505
225.45/226.27	c bounds -593 >= -909 @ 221.716
228.35/229.16	c #Conflicts:      76000 | #Constraints:     184438
228.35/229.16	c #Conflicts:      77000 | #Constraints:     185438
228.35/229.16	c #Conflicts:      78000 | #Constraints:     186438
228.35/229.16	c INPROCESSING
228.35/229.16	c GARBAGE COLLECT
228.35/229.16	c bounds -595 >= -909 @ 224.553
235.13/235.90	c #Conflicts:      79000 | #Constraints:     179677
235.13/235.90	c #Conflicts:      80000 | #Constraints:     180677
235.13/235.90	c bounds -600 >= -909 @ 231.219
238.22/239.08	c #Conflicts:      81000 | #Constraints:     181678
238.22/239.08	c #Conflicts:      82000 | #Constraints:     182678
238.22/239.08	c #Conflicts:      83000 | #Constraints:     183678
238.22/239.08	c #Conflicts:      84000 | #Constraints:     184678
238.22/239.08	c bounds -600 >= -908 @ 234.336
240.22/241.09	c #Conflicts:      85000 | #Constraints:     185750
240.22/241.09	c #Conflicts:      86000 | #Constraints:     186750
240.22/241.09	c #Conflicts:      87000 | #Constraints:     187750
240.22/241.09	c #Conflicts:      88000 | #Constraints:     188750
240.22/241.09	c bounds -600 >= -907 @ 236.311
245.30/246.13	c #Conflicts:      89000 | #Constraints:     189807
245.30/246.13	c bounds -602 >= -907 @ 241.253
334.45/335.57	c #Conflicts:      90000 | #Constraints:     190808
334.45/335.57	c #Conflicts:      91000 | #Constraints:     191808
334.45/335.57	c #Conflicts:      92000 | #Constraints:     192808
334.45/335.57	c #Conflicts:      93000 | #Constraints:     193808
334.45/335.57	c #Conflicts:      94000 | #Constraints:     194808
334.45/335.57	c #Conflicts:      95000 | #Constraints:     195808
334.45/335.57	c bounds -602 >= -906 @ 330.061
335.05/336.15	c bounds -603 >= -906 @ 330.631
335.75/336.87	c bounds -604 >= -906 @ 331.35
340.85/344.78	c #Conflicts:      96000 | #Constraints:     196841
340.85/344.78	c bounds -608 >= -906 @ 336.424
345.14/349.01	c #Conflicts:      97000 | #Constraints:     197842
345.14/349.01	c #Conflicts:      98000 | #Constraints:     198842
345.14/349.01	c #Conflicts:      99000 | #Constraints:     199842
345.14/349.01	c INPROCESSING
345.14/349.01	c GARBAGE COLLECT
345.14/349.01	c bounds -609 >= -906 @ 340.565
349.03/352.95	c #Conflicts:     100000 | #Constraints:     186395
349.03/352.95	c bounds -610 >= -906 @ 344.453
354.31/358.26	c #Conflicts:     101000 | #Constraints:     187396
354.31/358.26	c #Conflicts:     102000 | #Constraints:     188396
354.31/358.26	c #Conflicts:     103000 | #Constraints:     189396
354.31/358.26	c #Conflicts:     104000 | #Constraints:     190396
354.31/358.26	c #Conflicts:     105000 | #Constraints:     191396
354.31/358.26	c #Conflicts:     106000 | #Constraints:     192396
354.31/358.26	c #Conflicts:     107000 | #Constraints:     193396
354.31/358.26	c bounds -610 >= -905 @ 349.658
354.41/358.36	c bounds -611 >= -905 @ 349.754
354.41/358.39	c bounds -612 >= -905 @ 349.786
354.51/358.43	c bounds -613 >= -905 @ 349.817
354.51/358.46	c bounds -614 >= -905 @ 349.848
355.90/359.89	c INPROCESSING
355.90/359.89	c GARBAGE COLLECT
355.90/359.89	c bounds -616 >= -905 @ 351.253
356.01/359.94	c bounds -617 >= -905 @ 351.305
356.01/359.98	c bounds -618 >= -905 @ 351.342
357.40/361.35	c bounds -619 >= -905 @ 352.698
357.51/361.48	c bounds -620 >= -905 @ 352.821
359.20/363.16	c #Conflicts:     108000 | #Constraints:     183377
359.20/363.16	c bounds -621 >= -905 @ 354.482
433.14/437.28	c #Conflicts:     109000 | #Constraints:     184378
433.14/437.28	c #Conflicts:     110000 | #Constraints:     185378
433.14/437.28	c #Conflicts:     111000 | #Constraints:     186378
433.14/437.28	c #Conflicts:     112000 | #Constraints:     187378
433.14/437.28	c #Conflicts:     113000 | #Constraints:     188378
433.14/437.28	c #Conflicts:     114000 | #Constraints:     189378
433.14/437.28	c #Conflicts:     115000 | #Constraints:     190378
433.14/437.28	c INPROCESSING
433.14/437.28	c GARBAGE COLLECT
433.14/437.28	c rational objective -789.333
434.23/438.32	c bounds -623 >= -905 @ 429.089
434.53/438.65	c bounds -624 >= -905 @ 429.415
435.63/439.72	c bounds -625 >= -905 @ 430.461
435.72/439.80	c bounds -626 >= -905 @ 430.535
435.72/439.82	c bounds -627 >= -905 @ 430.562
435.72/439.85	c bounds -628 >= -905 @ 430.588
435.72/439.88	c bounds -629 >= -905 @ 430.613
435.83/439.90	c bounds -630 >= -905 @ 430.64
437.52/441.63	c #Conflicts:     116000 | #Constraints:     181620
437.52/441.63	c bounds -631 >= -905 @ 432.35
437.52/441.66	c bounds -632 >= -905 @ 432.377
437.52/441.69	c bounds -633 >= -905 @ 432.403
437.62/441.72	c bounds -635 >= -905 @ 432.429
437.62/441.74	c bounds -636 >= -905 @ 432.456
441.51/445.69	c #Conflicts:     117000 | #Constraints:     182625
441.51/445.69	c bounds -646 >= -905 @ 436.34
443.51/447.68	c #Conflicts:     118000 | #Constraints:     183626
443.51/447.68	c #Conflicts:     119000 | #Constraints:     184626
443.51/447.68	c bounds -646 >= -904 @ 438.281
444.90/449.07	c #Conflicts:     120000 | #Constraints:     185686
444.90/449.07	c #Conflicts:     121000 | #Constraints:     186686
444.90/449.07	c bounds -646 >= -903 @ 439.649
447.49/451.63	c #Conflicts:     122000 | #Constraints:     187716
447.49/451.63	c bounds -647 >= -903 @ 442.172
449.69/453.81	c #Conflicts:     123000 | #Constraints:     188717
449.69/453.81	c INPROCESSING
449.69/453.81	c GARBAGE COLLECT
449.69/453.81	c #Conflicts:     124000 | #Constraints:     180467
449.69/453.81	c bounds -647 >= -902 @ 444.301
451.89/456.05	c #Conflicts:     125000 | #Constraints:     181524
451.89/456.05	c bounds -648 >= -902 @ 446.509
453.28/457.47	c #Conflicts:     126000 | #Constraints:     182525
453.28/457.47	c #Conflicts:     127000 | #Constraints:     183525
453.28/457.47	c bounds -648 >= -901 @ 447.906
454.88/459.09	c #Conflicts:     128000 | #Constraints:     184591
454.88/459.09	c #Conflicts:     129000 | #Constraints:     185591
454.88/459.09	c #Conflicts:     130000 | #Constraints:     186591
454.88/459.09	c bounds -648 >= -900 @ 449.507
454.98/459.13	c bounds -649 >= -900 @ 449.539
455.17/459.34	c bounds -650 >= -900 @ 449.749
455.17/459.37	c bounds -651 >= -900 @ 449.775
456.57/460.71	c bounds -652 >= -900 @ 451.09
459.37/463.53	c #Conflicts:     131000 | #Constraints:     187658
459.37/463.53	c #Conflicts:     132000 | #Constraints:     188658
459.37/463.53	c #Conflicts:     133000 | #Constraints:     189658
459.37/463.53	c #Conflicts:     134000 | #Constraints:     190658
459.37/463.53	c bounds -652 >= -899 @ 453.864
459.77/463.99	c bounds -653 >= -899 @ 454.314
461.45/465.69	c #Conflicts:     135000 | #Constraints:     191695
461.45/465.69	c bounds -654 >= -899 @ 455.989
461.76/465.97	c bounds -655 >= -899 @ 456.263
461.86/466.05	c bounds -657 >= -899 @ 456.344
467.04/471.21	c #Conflicts:     136000 | #Constraints:     192698
467.04/471.21	c bounds -658 >= -899 @ 461.454
471.13/475.38	c #Conflicts:     137000 | #Constraints:     193699
471.13/475.38	c #Conflicts:     138000 | #Constraints:     194699
471.13/475.38	c #Conflicts:     139000 | #Constraints:     195699
471.13/475.38	c #Conflicts:     140000 | #Constraints:     196699
471.13/475.38	c #Conflicts:     141000 | #Constraints:     197699
471.13/475.38	c #Conflicts:     142000 | #Constraints:     198699
471.13/475.38	c bounds -658 >= -898 @ 465.558
471.33/475.50	c bounds -659 >= -898 @ 465.671
477.21/481.47	c #Conflicts:     143000 | #Constraints:     199733
477.21/481.47	c bounds -661 >= -898 @ 471.565
484.49/488.75	c #Conflicts:     144000 | #Constraints:     200734
484.49/488.75	c #Conflicts:     145000 | #Constraints:     201734
484.49/488.75	c #Conflicts:     146000 | #Constraints:     202734
484.49/488.75	c #Conflicts:     147000 | #Constraints:     203734
484.49/488.75	c #Conflicts:     148000 | #Constraints:     204734
484.49/488.75	c #Conflicts:     149000 | #Constraints:     205734
484.49/488.75	c #Conflicts:     150000 | #Constraints:     206734
484.49/488.75	c INPROCESSING
484.49/488.75	c GARBAGE COLLECT
484.49/488.75	c bounds -663 >= -898 @ 478.728
486.28/490.58	c bounds -664 >= -898 @ 480.539
487.89/492.13	c #Conflicts:     151000 | #Constraints:     189900
487.89/492.13	c bounds -665 >= -898 @ 482.079
487.89/492.16	c bounds -669 >= -898 @ 482.107
487.89/492.19	c bounds -670 >= -898 @ 482.136
488.28/492.59	c bounds -678 >= -898 @ 482.532
488.38/492.62	c bounds -679 >= -898 @ 482.559
490.97/495.27	c bounds -681 >= -898 @ 485.176
493.27/497.59	c #Conflicts:     152000 | #Constraints:     190906
493.27/497.59	c #Conflicts:     153000 | #Constraints:     191906
493.27/497.59	c #Conflicts:     154000 | #Constraints:     192906
493.27/497.59	c #Conflicts:     155000 | #Constraints:     193906
493.27/497.59	c bounds -681 >= -897 @ 487.46
582.73/587.26	c bounds -682 >= -897 @ 576.539
582.83/587.30	c bounds -683 >= -897 @ 576.582
588.41/592.94	c #Conflicts:     156000 | #Constraints:     194956
588.41/592.94	c bounds -684 >= -897 @ 582.161
594.30/598.89	c #Conflicts:     157000 | #Constraints:     195957
594.30/598.89	c #Conflicts:     158000 | #Constraints:     196957
594.30/598.89	c #Conflicts:     159000 | #Constraints:     197957
594.30/598.89	c INPROCESSING
594.30/598.89	c GARBAGE COLLECT
594.30/598.89	c #Conflicts:     160000 | #Constraints:     185258
594.30/598.89	c #Conflicts:     161000 | #Constraints:     186258
594.30/598.89	c #Conflicts:     162000 | #Constraints:     187258
594.30/598.89	c #Conflicts:     163000 | #Constraints:     188258
594.30/598.89	c #Conflicts:     164000 | #Constraints:     189258
594.30/598.89	c bounds -684 >= -896 @ 587.993
596.59/601.19	c #Conflicts:     165000 | #Constraints:     190321
596.59/601.19	c bounds -685 >= -896 @ 590.258
685.47/690.20	c #Conflicts:     166000 | #Constraints:     191322
685.47/690.20	c #Conflicts:     167000 | #Constraints:     192322
685.47/690.20	c #Conflicts:     168000 | #Constraints:     193322
685.47/690.20	c #Conflicts:     169000 | #Constraints:     194322
685.47/690.20	c INPROCESSING
685.47/690.20	c GARBAGE COLLECT
685.47/690.20	c rational objective -784.398
686.96/691.77	c bounds -686 >= -896 @ 680.222
692.04/696.80	c #Conflicts:     170000 | #Constraints:     183588
692.04/696.80	c bounds -687 >= -896 @ 685.193
696.03/700.88	c #Conflicts:     171000 | #Constraints:     184589
696.03/700.88	c #Conflicts:     172000 | #Constraints:     185589
696.03/700.88	c #Conflicts:     173000 | #Constraints:     186589
696.03/700.88	c #Conflicts:     174000 | #Constraints:     187589
696.03/700.88	c #Conflicts:     175000 | #Constraints:     188589
696.03/700.88	c #Conflicts:     176000 | #Constraints:     189589
696.03/700.88	c bounds -687 >= -895 @ 689.205
696.13/700.92	c bounds -688 >= -895 @ 689.236
696.13/700.95	c bounds -689 >= -895 @ 689.264
696.13/700.98	c bounds -690 >= -895 @ 689.292
697.13/701.96	c bounds -691 >= -895 @ 690.264
701.51/706.30	c #Conflicts:     177000 | #Constraints:     190653
701.51/706.30	c #Conflicts:     178000 | #Constraints:     191653
701.51/706.30	c bounds -692 >= -895 @ 694.553
707.90/712.79	c #Conflicts:     179000 | #Constraints:     192654
707.90/712.79	c #Conflicts:     180000 | #Constraints:     193654
707.90/712.79	c #Conflicts:     181000 | #Constraints:     194654
707.90/712.79	c #Conflicts:     182000 | #Constraints:     195654
707.90/712.79	c #Conflicts:     183000 | #Constraints:     196654
707.90/712.79	c #Conflicts:     184000 | #Constraints:     197654
707.90/712.79	c #Conflicts:     185000 | #Constraints:     198654
707.90/712.79	c bounds -692 >= -894 @ 700.934
709.10/713.99	c #Conflicts:     186000 | #Constraints:     199717
709.10/713.99	c bounds -693 >= -894 @ 702.112
711.30/716.11	c bounds -694 >= -894 @ 704.211
711.30/716.14	c bounds -695 >= -894 @ 704.243
711.30/716.18	c bounds -696 >= -894 @ 704.276
711.39/716.21	c bounds -697 >= -894 @ 704.309
711.39/716.25	c bounds -698 >= -894 @ 704.344
711.39/716.28	c bounds -699 >= -894 @ 704.379
712.59/717.41	c bounds -700 >= -894 @ 705.489
723.76/728.63	c #Conflicts:     187000 | #Constraints:     200725
723.76/728.63	c #Conflicts:     188000 | #Constraints:     201725
723.76/728.63	c #Conflicts:     189000 | #Constraints:     202725
723.76/728.63	c #Conflicts:     190000 | #Constraints:     203725
723.76/728.63	c #Conflicts:     191000 | #Constraints:     204725
723.76/728.63	c #Conflicts:     192000 | #Constraints:     205725
723.76/728.63	c #Conflicts:     193000 | #Constraints:     206725
723.76/728.63	c #Conflicts:     194000 | #Constraints:     207725
723.76/728.63	c #Conflicts:     195000 | #Constraints:     208725
723.76/728.63	c #Conflicts:     196000 | #Constraints:     209725
723.76/728.63	c #Conflicts:     197000 | #Constraints:     210725
723.76/728.63	c #Conflicts:     198000 | #Constraints:     211725
723.76/728.63	c bounds -700 >= -893 @ 716.542
723.76/728.67	c bounds -704 >= -893 @ 716.579
727.65/732.57	c #Conflicts:     199000 | #Constraints:     212762
727.65/732.57	c #Conflicts:     200000 | #Constraints:     213762
727.65/732.57	c INPROCESSING
727.65/732.57	c GARBAGE COLLECT
727.65/732.57	c bounds -705 >= -893 @ 720.439
758.65/763.60	c #Conflicts:     201000 | #Constraints:     193624
758.65/763.60	c #Conflicts:     202000 | #Constraints:     194624
758.65/763.60	c #Conflicts:     203000 | #Constraints:     195624
758.65/763.60	c #Conflicts:     204000 | #Constraints:     196624
758.65/763.60	c #Conflicts:     205000 | #Constraints:     197624
758.65/763.60	c bounds -706 >= -893 @ 751.205
853.39/858.65	c #Conflicts:     206000 | #Constraints:     198625
853.39/858.65	c #Conflicts:     207000 | #Constraints:     199625
853.39/858.65	c #Conflicts:     208000 | #Constraints:     200625
853.39/858.65	c #Conflicts:     209000 | #Constraints:     201625
853.39/858.65	c #Conflicts:     210000 | #Constraints:     202625
853.39/858.65	c #Conflicts:     211000 | #Constraints:     203625
853.39/858.65	c INPROCESSING
853.39/858.65	c GARBAGE COLLECT
853.39/858.65	c #Conflicts:     212000 | #Constraints:     188431
853.39/858.65	c #Conflicts:     213000 | #Constraints:     189431
853.39/858.65	c #Conflicts:     214000 | #Constraints:     190431
853.39/858.65	c #Conflicts:     215000 | #Constraints:     191431
853.39/858.65	c #Conflicts:     216000 | #Constraints:     192431
853.39/858.65	c #Conflicts:     217000 | #Constraints:     193431
853.39/858.65	c #Conflicts:     218000 | #Constraints:     194431
853.39/858.65	c #Conflicts:     219000 | #Constraints:     195431
853.39/858.65	c bounds -706 >= -892 @ 845.521
890.36/896.81	c #Conflicts:     220000 | #Constraints:     196491
890.36/896.81	c #Conflicts:     221000 | #Constraints:     197491
890.36/896.81	c #Conflicts:     222000 | #Constraints:     198491
890.36/896.81	c INPROCESSING
890.36/896.81	c GARBAGE COLLECT
890.36/896.81	c #Conflicts:     223000 | #Constraints:     185595
890.36/896.81	c #Conflicts:     224000 | #Constraints:     186595
890.36/896.81	c #Conflicts:     225000 | #Constraints:     187595
890.36/896.81	c #Conflicts:     226000 | #Constraints:     188595
890.36/896.81	c #Conflicts:     227000 | #Constraints:     189595
890.36/896.81	c #Conflicts:     228000 | #Constraints:     190595
890.36/896.81	c #Conflicts:     229000 | #Constraints:     191595
890.36/896.81	c bounds -709 >= -892 @ 882.179
904.53/911.07	c #Conflicts:     230000 | #Constraints:     192596
904.53/911.07	c #Conflicts:     231000 | #Constraints:     193596
904.53/911.07	c #Conflicts:     232000 | #Constraints:     194596
904.53/911.07	c #Conflicts:     233000 | #Constraints:     195596
904.53/911.07	c #Conflicts:     234000 | #Constraints:     196596
904.53/911.07	c #Conflicts:     235000 | #Constraints:     197596
904.53/911.07	c #Conflicts:     236000 | #Constraints:     198596
904.53/911.07	c #Conflicts:     237000 | #Constraints:     199596
904.53/911.07	c #Conflicts:     238000 | #Constraints:     200596
904.53/911.07	c #Conflicts:     239000 | #Constraints:     201596
904.53/911.07	c #Conflicts:     240000 | #Constraints:     202596
904.53/911.07	c #Conflicts:     241000 | #Constraints:     203596
904.53/911.07	c bounds -709 >= -891 @ 896.227
913.77/921.17	c #Conflicts:     242000 | #Constraints:     204704
913.77/921.17	c #Conflicts:     243000 | #Constraints:     205704
913.77/921.17	c bounds -710 >= -891 @ 905.409
928.13/935.58	c #Conflicts:     244000 | #Constraints:     206705
928.13/935.58	c #Conflicts:     245000 | #Constraints:     207705
928.13/935.58	c #Conflicts:     246000 | #Constraints:     208705
928.13/935.58	c #Conflicts:     247000 | #Constraints:     209705
928.13/935.58	c #Conflicts:     248000 | #Constraints:     210705
928.13/935.58	c #Conflicts:     249000 | #Constraints:     211705
928.13/935.58	c #Conflicts:     250000 | #Constraints:     212705
928.13/935.58	c #Conflicts:     251000 | #Constraints:     213705
928.13/935.58	c #Conflicts:     252000 | #Constraints:     214705
928.13/935.58	c #Conflicts:     253000 | #Constraints:     215705
928.13/935.58	c #Conflicts:     254000 | #Constraints:     216705
928.13/935.58	c #Conflicts:     255000 | #Constraints:     217705
928.13/935.58	c #Conflicts:     256000 | #Constraints:     218705
928.13/935.58	c bounds -710 >= -890 @ 919.632
928.23/935.64	c bounds -711 >= -890 @ 919.686
935.01/942.44	c #Conflicts:     257000 | #Constraints:     219763
935.01/942.44	c bounds -712 >= -890 @ 926.41
935.11/942.50	c bounds -715 >= -890 @ 926.467
1010.23/1017.86	c INPROCESSING
1010.23/1017.86	c GARBAGE COLLECT
1010.23/1017.86	c rational objective -781.946
1016.20/1023.83	c #Conflicts:     258000 | #Constraints:     196615
1016.20/1023.83	c bounds -717 >= -890 @ 1007.25
1016.20/1023.87	c bounds -718 >= -890 @ 1007.29
1016.31/1023.90	c bounds -720 >= -890 @ 1007.32
1016.61/1024.24	c bounds -721 >= -890 @ 1007.65
1019.20/1026.87	c #Conflicts:     259000 | #Constraints:     197619
1019.20/1026.87	c bounds -722 >= -890 @ 1010.26
1061.87/1069.67	c #Conflicts:     260000 | #Constraints:     198620
1061.87/1069.67	c #Conflicts:     261000 | #Constraints:     199620
1061.87/1069.67	c #Conflicts:     262000 | #Constraints:     200620
1061.87/1069.67	c #Conflicts:     263000 | #Constraints:     201620
1061.87/1069.67	c #Conflicts:     264000 | #Constraints:     202620
1061.87/1069.67	c #Conflicts:     265000 | #Constraints:     203620
1061.87/1069.67	c #Conflicts:     266000 | #Constraints:     204620
1061.87/1069.67	c #Conflicts:     267000 | #Constraints:     205620
1061.87/1069.67	c #Conflicts:     268000 | #Constraints:     206620
1061.87/1069.67	c #Conflicts:     269000 | #Constraints:     207620
1061.87/1069.67	c #Conflicts:     270000 | #Constraints:     208620
1061.87/1069.67	c INPROCESSING
1061.87/1069.67	c GARBAGE COLLECT
1061.87/1069.67	c #Conflicts:     271000 | #Constraints:     190950
1061.87/1069.67	c #Conflicts:     272000 | #Constraints:     191950
1061.87/1069.67	c #Conflicts:     273000 | #Constraints:     192950
1061.87/1069.67	c #Conflicts:     274000 | #Constraints:     193950
1061.87/1069.67	c #Conflicts:     275000 | #Constraints:     194951
1061.87/1069.67	c #Conflicts:     276000 | #Constraints:     195951
1061.87/1069.67	c bounds -723 >= -890 @ 1052.57
1063.17/1070.96	c #Conflicts:     277000 | #Constraints:     196952
1063.17/1070.96	c bounds -723 >= -889 @ 1053.85
1308.96/1317.42	c #Conflicts:     278000 | #Constraints:     197997
1308.96/1317.42	c #Conflicts:     279000 | #Constraints:     198997
1308.96/1317.42	c #Conflicts:     280000 | #Constraints:     199997
1308.96/1317.42	c #Conflicts:     281000 | #Constraints:     200997
1308.96/1317.42	c #Conflicts:     282000 | #Constraints:     201997
1308.96/1317.42	c INPROCESSING
1308.96/1317.42	c GARBAGE COLLECT
1308.96/1317.42	c #Conflicts:     283000 | #Constraints:     187283
1308.96/1317.42	c #Conflicts:     284000 | #Constraints:     188283
1308.96/1317.42	c #Conflicts:     285000 | #Constraints:     189283
1308.96/1317.42	c #Conflicts:     286000 | #Constraints:     190283
1308.96/1317.42	c #Conflicts:     287000 | #Constraints:     191283
1308.96/1317.42	c #Conflicts:     288000 | #Constraints:     192283
1308.96/1317.42	c #Conflicts:     289000 | #Constraints:     193283
1308.96/1317.42	c #Conflicts:     290000 | #Constraints:     194283
1308.96/1317.42	c #Conflicts:     291000 | #Constraints:     195283
1308.96/1317.42	c #Conflicts:     292000 | #Constraints:     196283
1308.96/1317.42	c #Conflicts:     293000 | #Constraints:     197283
1308.96/1317.42	c #Conflicts:     294000 | #Constraints:     198283
1308.96/1317.42	c #Conflicts:     295000 | #Constraints:     199283
1308.96/1317.42	c bounds -723 >= -888 @ 1298.95
1393.52/1402.22	c INPROCESSING
1393.52/1402.22	c GARBAGE COLLECT
1393.52/1402.22	c rational objective -781.904
1394.92/1403.63	c bounds -724 >= -888 @ 1384.6
1395.92/1404.65	c #Conflicts:     296000 | #Constraints:     186242
1395.92/1404.65	c bounds -725 >= -888 @ 1385.62
1395.92/1404.68	c bounds -726 >= -888 @ 1385.64
1401.10/1409.89	c #Conflicts:     297000 | #Constraints:     187244
1401.10/1409.89	c bounds -730 >= -888 @ 1390.8
1420.95/1429.78	c #Conflicts:     298000 | #Constraints:     188245
1420.95/1429.78	c #Conflicts:     299000 | #Constraints:     189245
1420.95/1429.78	c #Conflicts:     300000 | #Constraints:     190245
1420.95/1429.78	c #Conflicts:     301000 | #Constraints:     191245
1420.95/1429.78	c bounds -731 >= -888 @ 1410.5
1431.51/1440.39	c #Conflicts:     302000 | #Constraints:     192246
1431.51/1440.39	c #Conflicts:     303000 | #Constraints:     193246
1431.51/1440.39	c #Conflicts:     304000 | #Constraints:     194246
1431.51/1440.39	c #Conflicts:     305000 | #Constraints:     195246
1431.51/1440.39	c #Conflicts:     306000 | #Constraints:     196246
1431.51/1440.39	c #Conflicts:     307000 | #Constraints:     197246
1431.51/1440.39	c #Conflicts:     308000 | #Constraints:     198246
1431.51/1440.39	c #Conflicts:     309000 | #Constraints:     199246
1431.51/1440.39	c #Conflicts:     310000 | #Constraints:     200246
1431.51/1440.39	c #Conflicts:     311000 | #Constraints:     201246
1431.51/1440.39	c bounds -731 >= -887 @ 1420.92
1435.31/1444.13	c #Conflicts:     312000 | #Constraints:     202285
1435.31/1444.13	c #Conflicts:     313000 | #Constraints:     203285
1435.31/1444.13	c #Conflicts:     314000 | #Constraints:     204285
1435.31/1444.13	c #Conflicts:     315000 | #Constraints:     205285
1435.31/1444.13	c bounds -731 >= -886 @ 1424.59
1439.29/1448.17	c #Conflicts:     316000 | #Constraints:     206309
1439.29/1448.17	c #Conflicts:     317000 | #Constraints:     207309
1439.29/1448.17	c #Conflicts:     318000 | #Constraints:     208309
1439.29/1448.17	c #Conflicts:     319000 | #Constraints:     209309
1439.29/1448.17	c #Conflicts:     320000 | #Constraints:     210309
1439.29/1448.17	c bounds -731 >= -885 @ 1428.55
1441.78/1450.66	c bounds -732 >= -885 @ 1431.02
1505.49/1514.53	c #Conflicts:     321000 | #Constraints:     211355
1505.49/1514.53	c #Conflicts:     322000 | #Constraints:     212355
1505.49/1514.53	c #Conflicts:     323000 | #Constraints:     213355
1505.49/1514.53	c #Conflicts:     324000 | #Constraints:     214355
1505.49/1514.53	c #Conflicts:     325000 | #Constraints:     215355
1505.49/1514.53	c #Conflicts:     326000 | #Constraints:     216355
1505.49/1514.53	c #Conflicts:     327000 | #Constraints:     217355
1505.49/1514.53	c #Conflicts:     328000 | #Constraints:     218355
1505.49/1514.53	c #Conflicts:     329000 | #Constraints:     219355
1505.49/1514.53	c #Conflicts:     330000 | #Constraints:     220355
1505.49/1514.53	c #Conflicts:     331000 | #Constraints:     221355
1505.49/1514.53	c #Conflicts:     332000 | #Constraints:     222355
1505.49/1514.53	c #Conflicts:     333000 | #Constraints:     223355
1505.49/1514.53	c #Conflicts:     334000 | #Constraints:     224355
1505.49/1514.53	c #Conflicts:     335000 | #Constraints:     225355
1505.49/1514.53	c #Conflicts:     336000 | #Constraints:     226355
1505.49/1514.53	c INPROCESSING
1505.49/1514.53	c GARBAGE COLLECT
1505.49/1514.53	c #Conflicts:     337000 | #Constraints:     199700
1505.49/1514.53	c #Conflicts:     338000 | #Constraints:     200700
1505.49/1514.53	c #Conflicts:     339000 | #Constraints:     201700
1505.49/1514.53	c #Conflicts:     340000 | #Constraints:     202700
1505.49/1514.53	c #Conflicts:     341000 | #Constraints:     203700
1505.49/1514.53	c #Conflicts:     342000 | #Constraints:     204700
1505.49/1514.53	c #Conflicts:     343000 | #Constraints:     205700
1505.49/1514.53	c bounds -733 >= -885 @ 1494.17
1506.79/1515.86	c #Conflicts:     344000 | #Constraints:     206701
1506.79/1515.86	c bounds -733 >= -884 @ 1495.47
1610.81/1620.14	c #Conflicts:     345000 | #Constraints:     207725
1610.81/1620.14	c #Conflicts:     346000 | #Constraints:     208725
1610.81/1620.14	c #Conflicts:     347000 | #Constraints:     209725
1610.81/1620.14	c #Conflicts:     348000 | #Constraints:     210725
1610.81/1620.14	c #Conflicts:     349000 | #Constraints:     211725
1610.81/1620.14	c #Conflicts:     350000 | #Constraints:     212725
1610.81/1620.14	c INPROCESSING
1610.81/1620.14	c GARBAGE COLLECT
1610.81/1620.14	c rational objective -779.759
1616.88/1626.25	c #Conflicts:     351000 | #Constraints:     192853
1616.88/1626.25	c #Conflicts:     352000 | #Constraints:     193853
1616.88/1626.25	c #Conflicts:     353000 | #Constraints:     194853
1616.88/1626.25	c #Conflicts:     354000 | #Constraints:     195853
1616.88/1626.25	c #Conflicts:     355000 | #Constraints:     196853
1616.88/1626.25	c #Conflicts:     356000 | #Constraints:     197853
1616.88/1626.25	c bounds -733 >= -883 @ 1605.08
1759.58/1769.33	c #Conflicts:     357000 | #Constraints:     198904
1759.58/1769.33	c #Conflicts:     358000 | #Constraints:     199904
1759.58/1769.33	c #Conflicts:     359000 | #Constraints:     200904
1759.58/1769.33	c #Conflicts:     360000 | #Constraints:     201904
1759.58/1769.33	c #Conflicts:     361000 | #Constraints:     202904
1759.58/1769.33	c #Conflicts:     362000 | #Constraints:     203904
1759.58/1769.33	c #Conflicts:     363000 | #Constraints:     204904
1759.58/1769.33	c #Conflicts:     364000 | #Constraints:     205904
1759.58/1769.33	c INPROCESSING
1759.58/1769.33	c GARBAGE COLLECT
1759.58/1769.33	c #Conflicts:     365000 | #Constraints:     189268
1759.58/1769.33	c #Conflicts:     366000 | #Constraints:     190268
1759.58/1769.33	c #Conflicts:     367000 | #Constraints:     191268
1759.58/1769.33	c #Conflicts:     368000 | #Constraints:     192268
1759.58/1769.33	c #Conflicts:     369000 | #Constraints:     193268
1759.58/1769.33	c #Conflicts:     370000 | #Constraints:     194268
1759.58/1769.33	c bounds -733 >= -882 @ 1747.25
1767.37/1777.13	c #Conflicts:     371000 | #Constraints:     195337
1767.37/1777.13	c #Conflicts:     372000 | #Constraints:     196337
1767.37/1777.13	c bounds -734 >= -882 @ 1754.97
1776.63/1786.42	c #Conflicts:     373000 | #Constraints:     197338
1776.63/1786.42	c #Conflicts:     374000 | #Constraints:     198338
1776.63/1786.42	c #Conflicts:     375000 | #Constraints:     199338
1776.63/1786.42	c #Conflicts:     376000 | #Constraints:     200338
1776.63/1786.42	c #Conflicts:     377000 | #Constraints:     201338
1776.63/1786.42	c #Conflicts:     378000 | #Constraints:     202338
1776.63/1786.42	c #Conflicts:     379000 | #Constraints:     203338
1776.63/1786.42	c INPROCESSING
1776.63/1786.42	c GARBAGE COLLECT
1776.63/1786.42	c bounds -735 >= -882 @ 1764.1
2321.10/2336.32	c #Conflicts:     380000 | #Constraints:     188179
2321.10/2336.32	c #Conflicts:     381000 | #Constraints:     189179
2321.10/2336.32	c #Conflicts:     382000 | #Constraints:     190179
2321.10/2336.32	c #Conflicts:     383000 | #Constraints:     191179
2321.10/2336.32	c #Conflicts:     384000 | #Constraints:     192179
2321.10/2336.32	c #Conflicts:     385000 | #Constraints:     193179
2321.10/2336.32	c #Conflicts:     386000 | #Constraints:     194179
2321.10/2336.32	c #Conflicts:     387000 | #Constraints:     195179
2321.10/2336.32	c #Conflicts:     388000 | #Constraints:     196179
2321.10/2336.32	c #Conflicts:     389000 | #Constraints:     197179
2321.10/2336.32	c #Conflicts:     390000 | #Constraints:     198179
2321.10/2336.32	c #Conflicts:     391000 | #Constraints:     199179
2321.10/2336.32	c #Conflicts:     392000 | #Constraints:     200179
2321.10/2336.32	c #Conflicts:     393000 | #Constraints:     201179
2321.10/2336.32	c #Conflicts:     394000 | #Constraints:     202179
2321.10/2336.32	c #Conflicts:     395000 | #Constraints:     203179
2321.10/2336.32	c #Conflicts:     396000 | #Constraints:     204179
2321.10/2336.32	c #Conflicts:     397000 | #Constraints:     205179
2321.10/2336.32	c #Conflicts:     398000 | #Constraints:     206179
2321.10/2336.32	c #Conflicts:     399000 | #Constraints:     207179
2321.10/2336.32	c #Conflicts:     400000 | #Constraints:     208179
2321.10/2336.32	c #Conflicts:     401000 | #Constraints:     209179
2321.10/2336.32	c #Conflicts:     402000 | #Constraints:     210179
2321.10/2336.32	c #Conflicts:     403000 | #Constraints:     211179
2321.10/2336.32	c #Conflicts:     404000 | #Constraints:     212179
2321.10/2336.32	c #Conflicts:     405000 | #Constraints:     213179
2321.10/2336.32	c #Conflicts:     406000 | #Constraints:     214179
2321.10/2336.32	c #Conflicts:     407000 | #Constraints:     215179
2321.10/2336.32	c #Conflicts:     408000 | #Constraints:     216179
2321.10/2336.32	c #Conflicts:     409000 | #Constraints:     217179
2321.10/2336.32	c #Conflicts:     410000 | #Constraints:     218179
2321.10/2336.32	c #Conflicts:     411000 | #Constraints:     219179
2321.10/2336.32	c #Conflicts:     412000 | #Constraints:     220179
2321.10/2336.32	c #Conflicts:     413000 | #Constraints:     221179
2321.10/2336.32	c #Conflicts:     414000 | #Constraints:     222179
2321.10/2336.32	c #Conflicts:     415000 | #Constraints:     223179
2321.10/2336.32	c #Conflicts:     416000 | #Constraints:     224179
2321.10/2336.32	c #Conflicts:     417000 | #Constraints:     225179
2321.10/2336.32	c #Conflicts:     418000 | #Constraints:     226179
2321.10/2336.32	c #Conflicts:     419000 | #Constraints:     227179
2321.10/2336.32	c #Conflicts:     420000 | #Constraints:     228179
2321.10/2336.32	c #Conflicts:     421000 | #Constraints:     229179
2321.10/2336.32	c #Conflicts:     422000 | #Constraints:     230179
2321.10/2336.32	c #Conflicts:     423000 | #Constraints:     231179
2321.10/2336.32	c #Conflicts:     424000 | #Constraints:     232179
2321.10/2336.32	c #Conflicts:     425000 | #Constraints:     233179
2321.10/2336.32	c INPROCESSING
2321.10/2336.32	c GARBAGE COLLECT
2321.10/2336.32	c rational objective -777.378
2358.14/2375.48	c #Conflicts:     426000 | #Constraints:     203495
2358.14/2375.48	c #Conflicts:     427000 | #Constraints:     204496
2358.14/2375.48	c #Conflicts:     428000 | #Constraints:     205496
2358.14/2375.48	c #Conflicts:     429000 | #Constraints:     206496
2358.14/2375.48	c #Conflicts:     430000 | #Constraints:     207496
2358.14/2375.48	c #Conflicts:     431000 | #Constraints:     208496
2358.14/2375.48	c #Conflicts:     432000 | #Constraints:     209496
2358.14/2375.48	c #Conflicts:     433000 | #Constraints:     210496
2358.14/2375.48	c #Conflicts:     434000 | #Constraints:     211496
2358.14/2375.48	c #Conflicts:     435000 | #Constraints:     212496
2358.14/2375.48	c #Conflicts:     436000 | #Constraints:     213496
2358.14/2375.48	c #Conflicts:     437000 | #Constraints:     214496
2358.14/2375.48	c #Conflicts:     438000 | #Constraints:     215496
2358.14/2375.48	c #Conflicts:     439000 | #Constraints:     216496
2358.14/2375.48	c #Conflicts:     440000 | #Constraints:     217496
2358.14/2375.48	c #Conflicts:     441000 | #Constraints:     218496
2358.14/2375.48	c INPROCESSING
2358.14/2375.48	c GARBAGE COLLECT
2358.14/2375.48	c #Conflicts:     442000 | #Constraints:     195890
2358.14/2375.48	c #Conflicts:     443000 | #Constraints:     196890
2358.14/2375.48	c #Conflicts:     444000 | #Constraints:     197890
2358.14/2375.48	c bounds -735 >= -881 @ 2343.2
2369.82/2387.14	c #Conflicts:     445000 | #Constraints:     198944
2369.82/2387.14	c #Conflicts:     446000 | #Constraints:     199944
2369.82/2387.14	c #Conflicts:     447000 | #Constraints:     200944
2369.82/2387.14	c #Conflicts:     448000 | #Constraints:     201944
2369.82/2387.14	c #Conflicts:     449000 | #Constraints:     202944
2369.82/2387.14	c #Conflicts:     450000 | #Constraints:     203944
2369.82/2387.14	c #Conflicts:     451000 | #Constraints:     204944
2369.82/2387.14	c #Conflicts:     452000 | #Constraints:     205944
2369.82/2387.14	c #Conflicts:     453000 | #Constraints:     206944
2369.82/2387.14	c #Conflicts:     454000 | #Constraints:     207944
2369.82/2387.14	c #Conflicts:     455000 | #Constraints:     208944
2369.82/2387.14	c #Conflicts:     456000 | #Constraints:     209944
2369.82/2387.14	c bounds -735 >= -880 @ 2354.67
2529.29/2547.03	c #Conflicts:     457000 | #Constraints:     210980
2529.29/2547.03	c INPROCESSING
2529.29/2547.03	c GARBAGE COLLECT
2529.29/2547.03	c #Conflicts:     458000 | #Constraints:     192033
2529.29/2547.03	c #Conflicts:     459000 | #Constraints:     193033
2529.29/2547.03	c #Conflicts:     460000 | #Constraints:     194033
2529.29/2547.03	c #Conflicts:     461000 | #Constraints:     195033
2529.29/2547.03	c #Conflicts:     462000 | #Constraints:     196033
2529.29/2547.03	c #Conflicts:     463000 | #Constraints:     197033
2529.29/2547.03	c #Conflicts:     464000 | #Constraints:     198033
2529.29/2547.03	c #Conflicts:     465000 | #Constraints:     199033
2529.29/2547.03	c #Conflicts:     466000 | #Constraints:     200033
2529.29/2547.03	c #Conflicts:     467000 | #Constraints:     201033
2529.29/2547.03	c #Conflicts:     468000 | #Constraints:     202033
2529.29/2547.03	c #Conflicts:     469000 | #Constraints:     203033
2529.29/2547.03	c #Conflicts:     470000 | #Constraints:     204033
2529.29/2547.03	c #Conflicts:     471000 | #Constraints:     205033
2529.29/2547.03	c bounds -735 >= -879 @ 2513.55
2546.03/2563.87	c #Conflicts:     472000 | #Constraints:     206111
2546.03/2563.87	c #Conflicts:     473000 | #Constraints:     207111
2546.03/2563.87	c INPROCESSING
2546.03/2563.87	c GARBAGE COLLECT
2546.03/2563.87	c #Conflicts:     474000 | #Constraints:     189951
2546.03/2563.87	c #Conflicts:     475000 | #Constraints:     190951
2546.03/2563.87	c #Conflicts:     476000 | #Constraints:     191951
2546.03/2563.87	c #Conflicts:     477000 | #Constraints:     192951
2546.03/2563.87	c #Conflicts:     478000 | #Constraints:     193951
2546.03/2563.87	c #Conflicts:     479000 | #Constraints:     194951
2546.03/2563.87	c #Conflicts:     480000 | #Constraints:     195951
2546.03/2563.87	c #Conflicts:     481000 | #Constraints:     196951
2546.03/2563.87	c #Conflicts:     482000 | #Constraints:     197951
2546.03/2563.87	c #Conflicts:     483000 | #Constraints:     198951
2546.03/2563.87	c #Conflicts:     484000 | #Constraints:     199951
2546.03/2563.87	c #Conflicts:     485000 | #Constraints:     200951
2546.03/2563.87	c #Conflicts:     486000 | #Constraints:     201951
2546.03/2563.87	c #Conflicts:     487000 | #Constraints:     202951
2546.03/2563.87	c #Conflicts:     488000 | #Constraints:     203951
2546.03/2563.87	c bounds -735 >= -878 @ 2530.12
2580.02/2597.99	c #Conflicts:     489000 | #Constraints:     205020
2580.02/2597.99	c #Conflicts:     490000 | #Constraints:     206020
2580.02/2597.99	c #Conflicts:     491000 | #Constraints:     207020
2580.02/2597.99	c #Conflicts:     492000 | #Constraints:     208020
2580.02/2597.99	c #Conflicts:     493000 | #Constraints:     209020
2580.02/2597.99	c #Conflicts:     494000 | #Constraints:     210020
2580.02/2597.99	c #Conflicts:     495000 | #Constraints:     211020
2580.02/2597.99	c #Conflicts:     496000 | #Constraints:     212020
2580.02/2597.99	c #Conflicts:     497000 | #Constraints:     213020
2580.02/2597.99	c #Conflicts:     498000 | #Constraints:     214020
2580.02/2597.99	c #Conflicts:     499000 | #Constraints:     215020
2580.02/2597.99	c #Conflicts:     500000 | #Constraints:     216020
2580.02/2597.99	c #Conflicts:     501000 | #Constraints:     217020
2580.02/2597.99	c #Conflicts:     502000 | #Constraints:     218020
2580.02/2597.99	c #Conflicts:     503000 | #Constraints:     219020
2580.02/2597.99	c #Conflicts:     504000 | #Constraints:     220020
2580.02/2597.99	c #Conflicts:     505000 | #Constraints:     221020
2580.02/2597.99	c #Conflicts:     506000 | #Constraints:     222020
2580.02/2597.99	c #Conflicts:     507000 | #Constraints:     223020
2580.02/2597.99	c #Conflicts:     508000 | #Constraints:     224020
2580.02/2597.99	c #Conflicts:     509000 | #Constraints:     225020
2580.02/2597.99	c #Conflicts:     510000 | #Constraints:     226020
2580.02/2597.99	c #Conflicts:     511000 | #Constraints:     227020
2580.02/2597.99	c #Conflicts:     512000 | #Constraints:     228020
2580.02/2597.99	c #Conflicts:     513000 | #Constraints:     229020
2580.02/2597.99	c bounds -735 >= -877 @ 2563.75
2820.35/2838.91	c #Conflicts:     514000 | #Constraints:     230059
2820.35/2838.91	c #Conflicts:     515000 | #Constraints:     231059
2820.35/2838.91	c #Conflicts:     516000 | #Constraints:     232059
2820.35/2838.91	c #Conflicts:     517000 | #Constraints:     233059
2820.35/2838.91	c #Conflicts:     518000 | #Constraints:     234059
2820.35/2838.91	c #Conflicts:     519000 | #Constraints:     235059
2820.35/2838.91	c #Conflicts:     520000 | #Constraints:     236059
2820.35/2838.91	c #Conflicts:     521000 | #Constraints:     237059
2820.35/2838.91	c #Conflicts:     522000 | #Constraints:     238059
2820.35/2838.91	c #Conflicts:     523000 | #Constraints:     239059
2820.35/2838.91	c #Conflicts:     524000 | #Constraints:     240059
2820.35/2838.91	c INPROCESSING
2820.35/2838.91	c GARBAGE COLLECT
2820.35/2838.91	c rational objective -776.673
2979.31/2998.35	c #Conflicts:     525000 | #Constraints:     206433
2979.31/2998.35	c #Conflicts:     526000 | #Constraints:     207433
2979.31/2998.35	c #Conflicts:     527000 | #Constraints:     208433
2979.31/2998.35	c #Conflicts:     528000 | #Constraints:     209433
2979.31/2998.35	c #Conflicts:     529000 | #Constraints:     210433
2979.31/2998.35	c #Conflicts:     530000 | #Constraints:     211433
2979.31/2998.35	c #Conflicts:     531000 | #Constraints:     212433
2979.31/2998.35	c #Conflicts:     532000 | #Constraints:     213433
2979.31/2998.35	c #Conflicts:     533000 | #Constraints:     214433
2979.31/2998.35	c #Conflicts:     534000 | #Constraints:     215433
2979.31/2998.35	c #Conflicts:     535000 | #Constraints:     216433
2979.31/2998.35	c #Conflicts:     536000 | #Constraints:     217433
2979.31/2998.35	c #Conflicts:     537000 | #Constraints:     218433
2979.31/2998.35	c #Conflicts:     538000 | #Constraints:     219433
2979.31/2998.35	c #Conflicts:     539000 | #Constraints:     220433
2979.31/2998.35	c #Conflicts:     540000 | #Constraints:     221433
2979.31/2998.35	c #Conflicts:     541000 | #Constraints:     222433
2979.31/2998.35	c #Conflicts:     542000 | #Constraints:     223433
2979.31/2998.35	c INPROCESSING
2979.31/2998.35	c GARBAGE COLLECT
2979.31/2998.35	c #Conflicts:     543000 | #Constraints:     198410
2979.31/2998.35	c #Conflicts:     544000 | #Constraints:     199410
2979.31/2998.35	c #Conflicts:     545000 | #Constraints:     200410
2979.31/2998.35	c #Conflicts:     546000 | #Constraints:     201410
2979.31/2998.35	c #Conflicts:     547000 | #Constraints:     202410
2979.31/2998.35	c #Conflicts:     548000 | #Constraints:     203410
2979.31/2998.35	c #Conflicts:     549000 | #Constraints:     204410
2979.31/2998.35	c #Conflicts:     550000 | #Constraints:     205410
2979.31/2998.35	c #Conflicts:     551000 | #Constraints:     206410
2979.31/2998.35	c #Conflicts:     552000 | #Constraints:     207410
2979.31/2998.35	c bounds -735 >= -876 @ 2961.44
3179.54/3199.13	c #Conflicts:     553000 | #Constraints:     208479
3179.54/3199.13	c #Conflicts:     554000 | #Constraints:     209479
3179.54/3199.13	c #Conflicts:     555000 | #Constraints:     210479
3179.54/3199.13	c #Conflicts:     556000 | #Constraints:     211479
3179.54/3199.13	c #Conflicts:     557000 | #Constraints:     212479
3179.54/3199.13	c #Conflicts:     558000 | #Constraints:     213479
3179.54/3199.13	c #Conflicts:     559000 | #Constraints:     214479
3179.54/3199.13	c #Conflicts:     560000 | #Constraints:     215479
3179.54/3199.13	c INPROCESSING
3179.54/3199.13	c GARBAGE COLLECT
3179.54/3199.13	c #Conflicts:     561000 | #Constraints:     194486
3179.54/3199.13	c #Conflicts:     562000 | #Constraints:     195486
3179.54/3199.13	c #Conflicts:     563000 | #Constraints:     196486
3179.54/3199.13	c #Conflicts:     564000 | #Constraints:     197486
3179.54/3199.13	c #Conflicts:     565000 | #Constraints:     198486
3179.54/3199.13	c #Conflicts:     566000 | #Constraints:     199486
3179.54/3199.13	c #Conflicts:     567000 | #Constraints:     200486
3179.54/3199.13	c #Conflicts:     568000 | #Constraints:     201486
3179.54/3199.13	c #Conflicts:     569000 | #Constraints:     202486
3179.54/3199.13	c #Conflicts:     570000 | #Constraints:     203486
3179.54/3199.13	c #Conflicts:     571000 | #Constraints:     204486
3179.54/3199.13	c #Conflicts:     572000 | #Constraints:     205486
3179.54/3199.13	c #Conflicts:     573000 | #Constraints:     206486
3179.54/3199.13	c #Conflicts:     574000 | #Constraints:     207486
3179.54/3199.13	c #Conflicts:     575000 | #Constraints:     208486
3179.54/3199.13	c #Conflicts:     576000 | #Constraints:     209486
3179.54/3199.13	c #Conflicts:     577000 | #Constraints:     210486
3179.54/3199.13	c #Conflicts:     578000 | #Constraints:     211486
3179.54/3199.13	c INPROCESSING
3179.54/3199.13	c GARBAGE COLLECT
3179.54/3199.13	c rational objective -776.22
3386.54/3406.78	c #Conflicts:     579000 | #Constraints:     192454
3386.54/3406.78	c #Conflicts:     580000 | #Constraints:     193454
3386.54/3406.78	c #Conflicts:     581000 | #Constraints:     194454
3386.54/3406.78	c #Conflicts:     582000 | #Constraints:     195454
3386.54/3406.78	c #Conflicts:     583000 | #Constraints:     196454
3386.54/3406.78	c #Conflicts:     584000 | #Constraints:     197454
3386.54/3406.78	c #Conflicts:     585000 | #Constraints:     198454
3386.54/3406.78	c #Conflicts:     586000 | #Constraints:     199454
3386.54/3406.78	c #Conflicts:     587000 | #Constraints:     200454
3386.54/3406.78	c #Conflicts:     588000 | #Constraints:     201454
3386.54/3406.78	c #Conflicts:     589000 | #Constraints:     202454
3386.54/3406.78	c #Conflicts:     590000 | #Constraints:     203454
3386.54/3406.78	c #Conflicts:     591000 | #Constraints:     204454
3386.54/3406.78	c #Conflicts:     592000 | #Constraints:     205454
3386.54/3406.78	c #Conflicts:     593000 | #Constraints:     206454
3386.54/3406.78	c #Conflicts:     594000 | #Constraints:     207454
3386.54/3406.78	c #Conflicts:     595000 | #Constraints:     208454
3386.54/3406.78	c #Conflicts:     596000 | #Constraints:     209454
3386.54/3406.78	c #Conflicts:     597000 | #Constraints:     210454
3386.54/3406.78	c #Conflicts:     598000 | #Constraints:     211454
3386.54/3406.78	c #Conflicts:     599000 | #Constraints:     212454
3386.54/3406.78	c #Conflicts:     600000 | #Constraints:     213454
3386.54/3406.78	c #Conflicts:     601000 | #Constraints:     214454
3386.54/3406.78	c #Conflicts:     602000 | #Constraints:     215454
3386.54/3406.78	c #Conflicts:     603000 | #Constraints:     216454
3386.54/3406.78	c #Conflicts:     604000 | #Constraints:     217454
3386.54/3406.78	c #Conflicts:     605000 | #Constraints:     218454
3386.54/3406.78	c #Conflicts:     606000 | #Constraints:     219454
3386.54/3406.78	c #Conflicts:     607000 | #Constraints:     220454
3386.54/3406.78	c #Conflicts:     608000 | #Constraints:     221454
3386.54/3406.78	c #Conflicts:     609000 | #Constraints:     222454
3386.54/3406.78	c bounds -735 >= -875 @ 3367.07
3444.77/3465.18	c #Conflicts:     610000 | #Constraints:     223526
3444.77/3465.18	c #Conflicts:     611000 | #Constraints:     224526
3444.77/3465.18	c #Conflicts:     612000 | #Constraints:     225526
3444.77/3465.18	c #Conflicts:     613000 | #Constraints:     226526
3444.77/3465.18	c #Conflicts:     614000 | #Constraints:     227526
3444.77/3465.18	c #Conflicts:     615000 | #Constraints:     228526
3444.77/3465.18	c #Conflicts:     616000 | #Constraints:     229526
3444.77/3465.18	c #Conflicts:     617000 | #Constraints:     230526
3444.77/3465.18	c #Conflicts:     618000 | #Constraints:     231526
3444.77/3465.18	c #Conflicts:     619000 | #Constraints:     232526
3444.77/3465.18	c #Conflicts:     620000 | #Constraints:     233526
3444.77/3465.18	c #Conflicts:     621000 | #Constraints:     234526
3444.77/3465.18	c #Conflicts:     622000 | #Constraints:     235526
3444.77/3465.18	c #Conflicts:     623000 | #Constraints:     236526
3444.77/3465.18	c #Conflicts:     624000 | #Constraints:     237526
3444.77/3465.18	c #Conflicts:     625000 | #Constraints:     238526
3444.77/3465.18	c #Conflicts:     626000 | #Constraints:     239526
3444.77/3465.18	c #Conflicts:     627000 | #Constraints:     240526
3444.77/3465.18	c #Conflicts:     628000 | #Constraints:     241526
3444.77/3465.18	c #Conflicts:     629000 | #Constraints:     242526
3444.77/3465.18	c #Conflicts:     630000 | #Constraints:     243526
3444.77/3465.18	c #Conflicts:     631000 | #Constraints:     244526
3444.77/3465.18	c #Conflicts:     632000 | #Constraints:     245526
3444.77/3465.18	c #Conflicts:     633000 | #Constraints:     246526
3444.77/3465.18	c #Conflicts:     634000 | #Constraints:     247526
3444.77/3465.18	c INPROCESSING
3444.77/3465.18	c GARBAGE COLLECT
3444.77/3465.18	c #Conflicts:     635000 | #Constraints:     210406
3444.77/3465.18	c #Conflicts:     636000 | #Constraints:     211406
3444.77/3465.18	c #Conflicts:     637000 | #Constraints:     212406
3444.77/3465.18	c #Conflicts:     638000 | #Constraints:     213406
3444.77/3465.18	c #Conflicts:     639000 | #Constraints:     214406
3444.77/3465.18	c #Conflicts:     640000 | #Constraints:     215406
3444.77/3465.18	c #Conflicts:     641000 | #Constraints:     216406
3444.77/3465.18	c #Conflicts:     642000 | #Constraints:     217406
3444.77/3465.18	c #Conflicts:     643000 | #Constraints:     218406
3444.77/3465.18	c #Conflicts:     644000 | #Constraints:     219406
3444.77/3465.18	c #Conflicts:     645000 | #Constraints:     220406
3444.77/3465.18	c #Conflicts:     646000 | #Constraints:     221406
3444.77/3465.18	c #Conflicts:     647000 | #Constraints:     222406
3444.77/3465.18	c #Conflicts:     648000 | #Constraints:     223406
3444.77/3465.18	c #Conflicts:     649000 | #Constraints:     224406
3444.77/3465.18	c #Conflicts:     650000 | #Constraints:     225406
3444.77/3465.18	c #Conflicts:     651000 | #Constraints:     226406
3444.77/3465.18	c bounds -735 >= -874 @ 3424.63

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 (62393 MiB free)
  memory of node 1: 64465 MiB (63760 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Starting watchdog thread
solver pid=134315, runsolver pid=134311
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 0.13 0.36 0.27 4/257 134325
/proc/meminfo: memFree=129058016/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134321] ppid=134315 vsize=59052 memory=51060 CPUtime=0.06 cores=5,7
/proc/134321/stat : 134321 (pbsuma) R 134315 134315 134279 0 -1 4194304 5267 0 0 0 5 1 0 0 20 0 1 0 174137759 60469248 12765 18446744073709551615 4210688 4653049 140727374917840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 30461952 140727374924001 140727374924336 140727374924336 140727374929903 0
/proc/134321/statm: 14763 12765 992 108 0 12171 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 63244 KiB
Current children cumulated memory: 54132 KiB

[startup+0.205479 s]*
/proc/loadavg: 0.13 0.36 0.27 3/257 134326
/proc/meminfo: memFree=128954176/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134321] ppid=134315 vsize=151608 memory=115768 CPUtime=0.17 cores=5,7
/proc/134321/stat : 134321 (pbsuma) R 134315 134315 134279 0 -1 4194304 17791 0 0 0 14 3 0 0 20 0 1 0 174137759 155246592 28942 18446744073709551615 4210688 4653049 140727374917840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 30461952 140727374924001 140727374924336 140727374924336 140727374929903 0
/proc/134321/statm: 37902 28942 1024 108 0 35310 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 155800 KiB
Current children cumulated memory: 118840 KiB

[startup+0.305405 s]*
/proc/loadavg: 0.13 0.36 0.27 4/258 134329
/proc/meminfo: memFree=128857528/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134321] ppid=134315 vsize=201148 memory=149120 CPUtime=0.27 cores=5,7
/proc/134321/stat : 134321 (pbsuma) R 134315 134315 134279 0 -1 4194304 28030 0 0 0 22 5 0 0 20 0 1 0 174137759 205975552 37280 18446744073709551615 4210688 4653049 140727374917840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 30461952 140727374924001 140727374924336 140727374924336 140727374929903 0
/proc/134321/statm: 50287 37280 1024 108 0 47695 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 205340 KiB
Current children cumulated memory: 152192 KiB

[startup+0.700144 s]
/proc/loadavg: 0.13 0.36 0.27 3/261 134339
/proc/meminfo: memFree=128729044/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134321] ppid=134315 vsize=235264 memory=170468 CPUtime=0.65 cores=5,7
/proc/134321/stat : 134321 (pbsuma) R 134315 134315 134279 0 -1 4194304 37194 0 0 0 59 6 0 0 20 0 1 0 174137759 240910336 42617 18446744073709551615 4210688 4653049 140727374917840 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 30461952 140727374924001 140727374924336 140727374924336 140727374929903 0
/proc/134321/statm: 58816 42617 1024 108 0 56224 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 239456 KiB
Current children cumulated memory: 173540 KiB

[startup+1.50014 s]
/proc/loadavg: 0.44 0.42 0.29 5/267 134354
/proc/meminfo: memFree=128682704/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3.10542 s]
/proc/loadavg: 0.44 0.42 0.29 5/268 134357
/proc/meminfo: memFree=128228492/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=316592 memory=224688 CPUtime=1.93 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 31259 0 0 0 172 21 0 0 20 0 1 0 174137873 324190208 56172 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 79148 56172 2368 1147 0 66574 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 320784 KiB
Current children cumulated memory: 227760 KiB

[startup+6.30018 s]
/proc/loadavg: 0.72 0.48 0.31 5/268 134357
/proc/meminfo: memFree=128094856/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=418124 memory=312740 CPUtime=5.11 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 47693 0 0 0 483 28 0 0 20 0 1 0 174137873 428158976 78185 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 104531 78185 2432 1147 0 91957 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 422316 KiB
Current children cumulated memory: 315812 KiB

[startup+12.7002 s]
/proc/loadavg: 1.06 0.55 0.33 5/263 134365
/proc/meminfo: memFree=127946668/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=431528 memory=328520 CPUtime=11.5 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 50134 0 0 0 1112 38 0 0 20 0 1 0 174137873 441884672 82130 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 107882 82130 2432 1147 0 95308 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 435720 KiB
Current children cumulated memory: 331592 KiB

[startup+25.5002 s]
/proc/loadavg: 1.52 0.67 0.37 5/268 134406
/proc/meminfo: memFree=127839652/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=437812 memory=340168 CPUtime=24.27 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 53058 0 0 0 2376 51 0 0 20 0 1 0 174137873 448319488 85042 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 109453 85042 2432 1147 0 96879 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 442004 KiB
Current children cumulated memory: 343240 KiB

[startup+51.1054 s]
/proc/loadavg: 2.55 1.00 0.50 5/268 134406
/proc/meminfo: memFree=127123888/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=505276 memory=387240 CPUtime=49.8 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 60743 0 0 0 4878 102 0 0 20 0 1 0 174137873 517402624 96810 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 126319 96810 2464 1147 0 113745 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 509468 KiB
Current children cumulated memory: 390312 KiB

[startup+102.3 s]
/proc/loadavg: 3.37 1.47 0.68 5/270 134411
/proc/meminfo: memFree=125658440/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=611632 memory=485944 CPUtime=100.84 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 78828 0 0 0 9908 176 0 0 20 0 1 0 174137873 626311168 121486 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 152908 121486 2464 1147 0 140334 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 615824 KiB
Current children cumulated memory: 489016 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 1.96 0.90 5/271 134414
/proc/meminfo: memFree=124375708/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=640980 memory=515784 CPUtime=160.65 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 84237 0 0 0 15832 233 0 0 20 0 1 0 174137873 656363520 128946 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 160245 128946 2464 1147 0 147671 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 645172 KiB
Current children cumulated memory: 518856 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.37 1.11 5/266 134443
/proc/meminfo: memFree=124658280/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=675456 memory=537764 CPUtime=220.49 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 86707 0 0 0 21782 267 0 0 20 0 1 0 174137873 691666944 134441 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 168864 134441 2464 1147 0 156290 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 679648 KiB
Current children cumulated memory: 540836 KiB


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

/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=1231704 memory=1124116 CPUtime=3201.58 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 146908 0 0 0 318367 1791 0 0 20 0 1 0 174137873 1261264896 281029 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 307926 281029 2464 1147 0 295352 0
Current children cumulated CPU time: 3202.66 s
Current children cumulated vsize: 1235896 KiB
Current children cumulated memory: 1127188 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/273 134624
/proc/meminfo: memFree=92485352/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=1231704 memory=1124116 CPUtime=3261.41 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 147063 0 0 0 324321 1820 0 0 20 0 1 0 174137873 1261264896 281029 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 307926 281029 2464 1147 0 295352 0
Current children cumulated CPU time: 3262.49 s
Current children cumulated vsize: 1235896 KiB
Current children cumulated memory: 1127188 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/274 134631
/proc/meminfo: memFree=92204164/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=1231704 memory=1124116 CPUtime=3321.23 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 147066 0 0 0 330297 1826 0 0 20 0 1 0 174137873 1261264896 281029 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 307926 281029 2464 1147 0 295352 0
Current children cumulated CPU time: 3322.31 s
Current children cumulated vsize: 1235896 KiB
Current children cumulated memory: 1127188 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/274 134633
/proc/meminfo: memFree=91930656/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=1231704 memory=1124116 CPUtime=3381.08 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 147072 0 0 0 336263 1845 0 0 20 0 1 0 174137873 1261264896 281029 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 307926 281029 2464 1147 0 295352 0
Current children cumulated CPU time: 3382.16 s
Current children cumulated vsize: 1235896 KiB
Current children cumulated memory: 1127188 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/273 134645
/proc/meminfo: memFree=90961148/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=1231704 memory=1124116 CPUtime=3440.89 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 147278 0 0 0 342178 1911 0 0 20 0 1 0 174137873 1261264896 281029 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 307926 281029 2464 1147 0 295352 0
Current children cumulated CPU time: 3441.97 s
Current children cumulated vsize: 1235896 KiB
Current children cumulated memory: 1127188 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/272 134647
/proc/meminfo: memFree=90311344/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=1231704 memory=1124116 CPUtime=3500.72 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 147278 0 0 0 348114 1958 0 0 20 0 1 0 174137873 1261264896 281029 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 307926 281029 2464 1147 0 295352 0
Current children cumulated CPU time: 3501.8 s
Current children cumulated vsize: 1235896 KiB
Current children cumulated memory: 1127188 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.01 5/273 134650
/proc/meminfo: memFree=89987504/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=1231704 memory=1124116 CPUtime=3560.54 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 147333 0 0 0 354089 1965 0 0 20 0 1 0 174137873 1261264896 281029 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 307926 281029 2464 1147 0 295352 0
Current children cumulated CPU time: 3561.62 s
Current children cumulated vsize: 1235896 KiB
Current children cumulated memory: 1127188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3620.8 s]
/proc/loadavg: 4.08 4.08 4.01 5/273 134652
/proc/meminfo: memFree=89775188/131249996 swapFree=33006296/33010684
[pid=134315] ppid=134311 vsize=4192 memory=3072 CPUtime=1.08 cores=5,7
/proc/134315/stat : 134315 (run-opt-ls-log.) S 134311 134315 134279 0 -1 4194304 244 37880 0 0 0 0 99 9 20 0 1 0 174137757 4292608 768 18446744073709551615 94688552534016 94688553428549 140732502167712 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94688553667600 94688553715344 94688557903872 140732502173977 140732502174175 140732502174175 140732502179779 0
/proc/134315/statm: 1048 768 704 219 0 110 0
[pid=134357] ppid=134315 vsize=1231704 memory=1124116 CPUtime=3598.94 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134315 134315 134279 0 -1 4194304 147349 0 0 0 357916 1978 0 0 20 0 1 0 174137873 1261264896 281029 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 307926 281029 2464 1147 0 295352 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1235896 KiB
Current children cumulated memory: 1127188 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3582.16 s, system=19.8903 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+3621.6 s]
/proc/loadavg: 4.08 4.08 4.01 5/272 134652
/proc/meminfo: memFree=89771408/131249996 swapFree=33006296/33010684
[pid=134357] ppid=134311 vsize=1231704 memory=1124116 CPUtime=3599.74 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134311 134315 134279 0 -1 4194304 147349 0 0 0 357996 1978 0 0 20 0 1 0 174137873 1261264896 281029 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 307926 281029 2464 1147 0 295352 0
Current cumulated CPU time of completed processes: 1.09782 s
Current children cumulated CPU time: 3599.74 s
Current children cumulated vsize: 1231704 KiB
Current children cumulated memory: 1124116 KiB

[startup+3622.4 s]
/proc/loadavg: 4.07 4.08 4.01 5/271 134652
/proc/meminfo: memFree=89762916/131249996 swapFree=33006296/33010684
[pid=134357] ppid=134311 vsize=1231704 memory=1124116 CPUtime=3600.54 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134311 134315 134279 0 -1 4194304 147349 0 0 0 358076 1978 0 0 20 0 1 0 174137873 1261264896 281029 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 307926 281029 2464 1147 0 295352 0
Current cumulated CPU time of completed processes: 1.09782 s
Current children cumulated CPU time: 3600.54 s
Current children cumulated vsize: 1231704 KiB
Current children cumulated memory: 1124116 KiB

[startup+3622.8 s]
/proc/loadavg: 4.07 4.08 4.01 5/271 134652
/proc/meminfo: memFree=89762916/131249996 swapFree=33006296/33010684
[pid=134357] ppid=134311 vsize=1231704 memory=1124116 CPUtime=3600.95 cores=5,7
/proc/134357/stat : 134357 (roundingsat) R 134311 134315 134279 0 -1 4194304 147349 0 0 0 358116 1979 0 0 20 0 1 0 174137873 1261264896 281029 18446744073709551615 4227072 8923577 140724507012080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 33677312 140724507015412 140724507015718 140724507015718 140724507021290 0
/proc/134357/statm: 307926 281029 2464 1147 0 295352 0
Current cumulated CPU time of completed processes: 1.09782 s
Current children cumulated CPU time: 3600.95 s
Current children cumulated vsize: 1231704 KiB
Current children cumulated memory: 1124116 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3622.81
CPU time (s): 3602.05
CPU user time (s): 3582.16
CPU system time (s): 19.8903
CPU usage (%): 99.4271
Max. virtual memory (cumulated for all children) (KiB): 1235896
Max. memory (cumulated for all children) (KiB): 1127188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.16
system time used= 19.8903
maximum resident set size= 1124116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25140912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 789
involuntary context switches= 3348


# summary of solver processes directly reported to runsolver:
#   pid: 134315,134357
#   total CPU time (s): 3602.05
#   total CPU user time (s): 3582.16
#   total CPU system time (s): 19.8903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96161 second user time and 17.6665 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-15 15:03:23
IDJOB=4531725
IDBENCH=145528
IDSOLVER=3392
FILE ID=nodeC015/4531725-1752584602
RUNJOBID= nodeC015-1752584602-134292
SLURM_JOB_ID= 9684345
Free space on /tmp= 432768 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
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-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531725-1752584602/watcher-4531725-1752584602 -o /tmp/evaluation-result-4531725-1752584602/solver-4531725-1752584602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752584602-134292 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531725-1752584602.opb PROOFDIR/proof-4531725-1752584602

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

MD5SUM BENCH= dbf55fafe8c36fc4d34bf230f66c30bf
RANDOM SEED=1356186634

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.531
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		: 3601.119
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.215
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:        129181444 kB
MemAvailable:   129744124 kB
Buffers:            1508 kB
Cached:          1349608 kB
SwapCached:         3880 kB
Active:           339868 kB
Inactive:        1091880 kB
Active(anon):      54536 kB
Inactive(anon):    48448 kB
Active(file):     285332 kB
Inactive(file):  1043432 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28408 kB
Writeback:             0 kB
AnonPages:         80048 kB
Mapped:           103380 kB
Shmem:             22344 kB
KReclaimable:     146312 kB
Slab:             240436 kB
SReclaimable:     146312 kB
SUnreclaim:        94124 kB
KernelStack:        4064 kB
PageTables:         2884 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     350628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150312 kB
VmallocChunk:          0 kB
Percpu:             3872 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= 432736 MiB
End job on nodeC015 at 2025-07-15 16:03:46