Trace number 4532280

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 0f876b3? (TO) 3602.07 3624.61

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.06	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.06	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.06	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.06	c │      (c) 2025 Markus Anders                                    │
0.00/0.06	c └────────────────────────────────────────────────────────────────┘
0.00/0.06	c parse 'HOME/instance-4532280-1752584603.opb'
0.16/0.29	c 	read 5.37MB  (232.10ms)
0.16/0.29	c	 [cnf: #variables 81322 #clauses 161484 #duplicates 0 #arr 423871]
0.16/0.29	c output proof to 'PROOFDIR/proof-4532280-1752584603'
0.16/0.29	c 
0.16/0.29	c make graph and approximate orbits
0.45/0.58	c	 [group: #orbits ~= 24738] (289.40ms)
0.45/0.58	c 
0.45/0.58	c detect special group actions
0.45/0.58	c 	probe for Johnson action (limit=64)
0.45/0.58	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.54/0.64	c 	probe for row symmetry (limit=64, splits=16.78M)
0.54/0.65	c 	 (68.62ms)
0.54/0.65	c 
0.54/0.65	c detect symmetries on remainder
0.54/0.65	c 	[graph: #vertices 490770 #edges 1343670]
0.54/0.66	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.94/1.01	c 	 [group: #symmetries 7.67*10^73 #generators 166] (359.78ms)
0.94/1.01	c 
0.94/1.01	c optimize generators (opt_passes=64, conjugate_limit=256)
0.94/1.02	c 	ran it=0, +gens=1 
1.82/1.90	c 	con best_support=532, best_gens=166, +gens=49
1.82/1.90	c 	(887.96ms)
1.82/1.90	c 
1.82/1.90	c finalize break order and special generators
1.82/1.90	c 
1.82/1.90	c add generic predicates (break_depth=20)
1.82/1.90	c 	added predicates for 216 generators (1.18ms)
1.93/2.03	c 
1.93/2.03	c generation finished
1.93/2.03	c 	[sbp: #constraints 12528 #add_vars 4104]
1.93/2.04	c 
1.93/2.04	c write result to 'HOME/instance-4532280-1752584603.opb.pre'
1.93/2.05	c 	wrote 5.97MB (15.90ms)
1.93/2.05	c ------------------------------------------------------------------
1.93/2.05	c                 887.96ms 44.47% optimize_gens
1.93/2.05	c                 359.78ms 18.02% detect_generic
1.93/2.05	c                 289.40ms 14.49% approx_orbits
1.93/2.05	c                 232.10ms 11.62% parse
1.93/2.05	c                 136.59ms  6.84% other
1.93/2.05	c                  68.62ms  3.44% detect_special
1.93/2.05	c                  15.90ms  0.80% output
1.93/2.05	c                   5.30ms  0.27% finalize_order
1.93/2.05	c                   1.18ms  0.06% break_generic
1.93/2.05	c         ───────────────────────────────────────────────
1.93/2.05	c                1996.83ms   100% total
1.93/2.05	c ------------------------------------------------------------------
2.02/2.40	c RoundingSat 2
2.02/2.40	c branch pb25
2.02/2.40	c commit 0f876b3
3.88/4.35	c #variables 85426 #constraints 174010
3.88/4.35	c objective is ce32 
3.88/4.35	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.88/4.35	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3.88/4.35	c bounds - >= -1251 @ 1.58257
5.09/5.55	c bounds 0 >= -1251 @ 2.69341
5.19/5.66	c bounds -256 >= -1251 @ 2.80522
5.98/6.44	c bounds -264 >= -1251 @ 3.56847
7.28/7.72	c bounds -265 >= -1251 @ 4.82696
10.17/10.63	c bounds -267 >= -1251 @ 7.69807
17.86/18.37	c bounds -268 >= -1251 @ 15.3407
33.70/34.20	c rational objective -809.4
35.49/36.97	c bounds -269 >= -1251 @ 32.7475
35.49/36.99	c bounds -271 >= -1251 @ 32.7703
35.59/37.02	c bounds -272 >= -1251 @ 32.795
35.59/37.05	c bounds -273 >= -1251 @ 32.8194
36.48/37.99	c #Conflicts:       1000 | #Constraints:     175022
36.48/37.99	c bounds -464 >= -1251 @ 33.7363
36.58/38.02	c bounds -468 >= -1251 @ 33.7586
36.58/38.04	c bounds -470 >= -1251 @ 33.779
36.58/38.06	c bounds -472 >= -1251 @ 33.8013
36.58/38.08	c bounds -473 >= -1251 @ 33.8236
36.68/38.11	c bounds -481 >= -1251 @ 33.844
36.68/38.13	c bounds -482 >= -1251 @ 33.8644
36.68/38.15	c bounds -483 >= -1251 @ 33.8857
36.68/38.17	c bounds -487 >= -1251 @ 33.907
36.68/38.19	c bounds -488 >= -1251 @ 33.9293
36.77/38.22	c bounds -489 >= -1251 @ 33.9506
36.77/38.24	c bounds -490 >= -1251 @ 33.9729
36.77/38.26	c bounds -492 >= -1251 @ 33.9942
36.77/38.28	c bounds -493 >= -1251 @ 34.0166
36.88/38.31	c bounds -494 >= -1251 @ 34.038
36.88/38.33	c bounds -498 >= -1251 @ 34.0583
36.88/38.35	c bounds -500 >= -1251 @ 34.0795
36.88/38.37	c bounds -501 >= -1251 @ 34.1011
36.97/38.40	c bounds -502 >= -1251 @ 34.1235
36.97/38.42	c bounds -503 >= -1251 @ 34.1439
36.97/38.44	c bounds -505 >= -1251 @ 34.1652
36.97/38.46	c bounds -506 >= -1251 @ 34.187
36.97/38.49	c bounds -507 >= -1251 @ 34.2083
37.07/38.51	c bounds -509 >= -1251 @ 34.2301
37.07/38.53	c bounds -513 >= -1251 @ 34.2499
37.07/38.55	c bounds -521 >= -1251 @ 34.2717
37.07/38.57	c bounds -522 >= -1251 @ 34.2915
37.07/38.60	c bounds -523 >= -1251 @ 34.3107
37.17/38.62	c bounds -524 >= -1251 @ 34.3341
37.17/38.69	c bounds -525 >= -1251 @ 34.4032
37.28/38.72	c bounds -527 >= -1251 @ 34.4236
47.49/49.05	c #Conflicts:       2000 | #Constraints:     176053
47.49/49.05	c INPROCESSING
47.49/49.05	c GARBAGE COLLECT
47.49/49.05	c bounds -528 >= -1251 @ 44.4692
48.87/50.46	c #Conflicts:       3000 | #Constraints:     172022
48.87/50.46	c #Conflicts:       4000 | #Constraints:     173022
48.87/50.46	c INPROCESSING
48.87/50.46	c GARBAGE COLLECT
48.87/50.46	c bounds -529 >= -1251 @ 45.8458
48.87/50.49	c bounds -530 >= -1251 @ 45.8678
48.97/50.51	c bounds -532 >= -1251 @ 45.8949
50.56/52.14	c bounds -533 >= -1251 @ 47.4833
50.56/52.15	c bounds -533 >= -1183 @ 47.4905
50.56/52.17	c bounds -533 >= -1179 @ 47.5109
51.56/53.11	c #Conflicts:       5000 | #Constraints:     172395
51.56/53.11	c bounds -533 >= -1175 @ 48.3885
51.56/53.14	c bounds -534 >= -1175 @ 48.4149
52.64/54.24	c bounds -535 >= -1175 @ 49.4804
55.61/57.28	c #Conflicts:       6000 | #Constraints:     173406
55.61/57.28	c INPROCESSING
55.61/57.28	c GARBAGE COLLECT
55.61/57.28	c bounds -536 >= -1175 @ 52.4286
56.21/57.87	c bounds -537 >= -1175 @ 53.012
57.01/58.60	c #Conflicts:       7000 | #Constraints:     172302
57.01/58.60	c bounds -539 >= -1175 @ 53.7204
61.98/63.69	c bounds -540 >= -1175 @ 58.7304
61.98/63.69	c bounds -540 >= -1173 @ 58.7315
61.98/63.69	c bounds -540 >= -1171 @ 58.7328
61.98/63.69	c bounds -540 >= -1111 @ 58.7353
62.08/63.71	c #Conflicts:       8000 | #Constraints:     173316
62.08/63.71	c bounds -540 >= -1109 @ 58.7523
62.08/63.71	c bounds -540 >= -1107 @ 58.7578
62.08/63.73	c bounds -540 >= -1105 @ 58.7747
62.08/63.76	c bounds -540 >= -1103 @ 58.8036
62.08/63.77	c bounds -540 >= -1101 @ 58.8101
62.08/63.78	c bounds -540 >= -1099 @ 58.814
62.08/63.79	c bounds -540 >= -1097 @ 58.8242
62.18/63.81	c bounds -540 >= -1095 @ 58.8428
62.18/63.84	c bounds -540 >= -1093 @ 58.8718
62.18/63.85	c bounds -540 >= -1091 @ 58.888
62.18/63.88	c bounds -540 >= -1089 @ 58.919
62.28/63.91	c bounds -540 >= -1087 @ 58.9436
62.28/63.96	c bounds -540 >= -1085 @ 58.9929
62.39/64.04	c bounds -540 >= -1083 @ 59.0669
62.39/64.08	c bounds -540 >= -1081 @ 59.109
62.39/64.10	c bounds -540 >= -1079 @ 59.1309
62.50/64.19	c bounds -540 >= -1077 @ 59.2162
62.58/64.23	c bounds -540 >= -1075 @ 59.2515
62.58/64.28	c #Conflicts:       9000 | #Constraints:     174642
62.58/64.28	c bounds -540 >= -1073 @ 59.2982
62.78/64.47	c INPROCESSING
62.78/64.47	c GARBAGE COLLECT
62.78/64.47	c bounds -540 >= -1071 @ 59.4755
62.87/64.55	c bounds -540 >= -1069 @ 59.5529
62.97/64.61	c bounds -540 >= -1067 @ 59.6135
62.97/64.68	c bounds -540 >= -1065 @ 59.6761
63.07/64.71	c #Conflicts:      10000 | #Constraints:     173358
63.07/64.71	c bounds -540 >= -1063 @ 59.7109
63.07/64.74	c bounds -540 >= -1061 @ 59.7326
63.07/64.77	c bounds -540 >= -1059 @ 59.7673
63.17/64.81	c bounds -540 >= -1057 @ 59.8005
63.17/64.87	c bounds -540 >= -1055 @ 59.8567
63.27/64.92	c bounds -540 >= -1053 @ 59.9029
63.27/64.99	c bounds -540 >= -1051 @ 59.973
63.48/65.13	c #Conflicts:      11000 | #Constraints:     174526
63.48/65.13	c bounds -540 >= -1049 @ 60.1
63.86/65.50	c #Conflicts:      12000 | #Constraints:     175556
63.86/65.50	c INPROCESSING
63.86/65.50	c bounds -540 >= -1047 @ 60.4664
64.06/65.77	c #Conflicts:      13000 | #Constraints:     173942
64.06/65.77	c bounds -540 >= -1045 @ 60.717
64.26/66.00	c bounds -540 >= -1043 @ 60.9456
64.56/66.24	c #Conflicts:      14000 | #Constraints:     175020
64.56/66.24	c bounds -540 >= -1041 @ 61.1671
64.85/66.51	c #Conflicts:      15000 | #Constraints:     176050
64.85/66.51	c INPROCESSING
64.85/66.51	c bounds -540 >= -1039 @ 61.4372
67.95/69.60	c #Conflicts:      16000 | #Constraints:     174218
67.95/69.60	c bounds -544 >= -1039 @ 64.476
68.36/70.09	c #Conflicts:      17000 | #Constraints:     175219
68.36/70.09	c bounds -544 >= -1037 @ 64.9498
68.85/70.55	c #Conflicts:      18000 | #Constraints:     176249
68.85/70.55	c bounds -544 >= -1035 @ 65.4013
69.15/70.86	c INPROCESSING
69.15/70.86	c GARBAGE COLLECT
69.15/70.86	c bounds -544 >= -1033 @ 65.7082
69.47/71.19	c #Conflicts:      19000 | #Constraints:     174177
69.47/71.19	c bounds -544 >= -1031 @ 66.0284
72.74/74.44	c #Conflicts:      20000 | #Constraints:     175207
72.74/74.44	c bounds -550 >= -1031 @ 69.2244
72.94/74.68	c bounds -550 >= -1029 @ 69.4501
73.14/74.87	c #Conflicts:      21000 | #Constraints:     176227
73.14/74.87	c bounds -550 >= -1027 @ 69.6385
73.23/74.98	c bounds -550 >= -1025 @ 69.7426
73.53/75.23	c INPROCESSING
73.53/75.23	c GARBAGE COLLECT
73.53/75.23	c bounds -550 >= -1023 @ 69.9877
73.84/75.52	c #Conflicts:      22000 | #Constraints:     174055
73.84/75.52	c bounds -550 >= -1021 @ 70.2652
74.23/75.91	c #Conflicts:      23000 | #Constraints:     175088
74.23/75.91	c bounds -550 >= -1019 @ 70.6522
74.83/76.57	c #Conflicts:      24000 | #Constraints:     176118
74.83/76.57	c bounds -550 >= -1017 @ 71.2974
75.13/76.88	c bounds -551 >= -1017 @ 71.5944
76.63/78.33	c #Conflicts:      25000 | #Constraints:     177149
76.63/78.33	c #Conflicts:      26000 | #Constraints:     178149
76.63/78.33	c bounds -551 >= -1015 @ 73.0214
76.63/78.36	c bounds -552 >= -1015 @ 73.0462
77.13/78.84	c bounds -553 >= -1015 @ 73.5156
77.13/78.86	c bounds -554 >= -1015 @ 73.5443
77.22/78.95	c bounds -555 >= -1015 @ 73.6268
77.22/78.97	c bounds -556 >= -1015 @ 73.6504
77.22/79.00	c bounds -557 >= -1015 @ 73.6761
81.12/82.83	c #Conflicts:      27000 | #Constraints:     179200
81.12/82.83	c bounds -558 >= -1015 @ 77.4625
82.91/84.69	c #Conflicts:      28000 | #Constraints:     180201
82.91/84.69	c #Conflicts:      29000 | #Constraints:     181201
82.91/84.69	c bounds -558 >= -1013 @ 79.2832
85.70/87.42	c #Conflicts:      30000 | #Constraints:     182237
85.70/87.42	c #Conflicts:      31000 | #Constraints:     183237
85.70/87.42	c #Conflicts:      32000 | #Constraints:     184237
85.70/87.42	c bounds -558 >= -1011 @ 81.9563
86.51/88.20	c bounds -559 >= -1011 @ 82.7219
87.60/89.30	c #Conflicts:      33000 | #Constraints:     185262
87.60/89.30	c bounds -560 >= -1011 @ 83.8105
88.00/89.79	c INPROCESSING
88.00/89.79	c GARBAGE COLLECT
88.00/89.79	c bounds -561 >= -1011 @ 84.2884
89.79/91.51	c bounds -565 >= -1011 @ 85.9894
118.89/120.80	c #Conflicts:      34000 | #Constraints:     178747
118.89/120.80	c #Conflicts:      35000 | #Constraints:     179747
118.89/120.80	c #Conflicts:      36000 | #Constraints:     180748
118.89/120.80	c #Conflicts:      37000 | #Constraints:     181748
118.89/120.80	c #Conflicts:      38000 | #Constraints:     182748
118.89/120.80	c INPROCESSING
118.89/120.80	c GARBAGE COLLECT
118.89/120.80	c bounds -566 >= -1011 @ 114.947
118.99/120.83	c bounds -567 >= -1011 @ 114.98
118.99/120.88	c bounds -569 >= -1011 @ 115.025
119.08/120.91	c bounds -571 >= -1011 @ 115.057
119.08/120.94	c bounds -573 >= -1011 @ 115.087
124.67/126.53	c #Conflicts:      39000 | #Constraints:     177612
124.67/126.53	c #Conflicts:      40000 | #Constraints:     178612
124.67/126.53	c bounds -575 >= -1011 @ 120.603
124.67/126.55	c bounds -575 >= -979 @ 120.618
124.67/126.56	c bounds -575 >= -978 @ 120.631
124.67/126.59	c bounds -575 >= -977 @ 120.659
124.78/126.61	c bounds -575 >= -976 @ 120.676
124.78/126.61	c bounds -575 >= -975 @ 120.683
124.78/126.62	c bounds -575 >= -974 @ 120.687
124.78/126.62	c bounds -575 >= -973 @ 120.69
124.78/126.62	c bounds -575 >= -972 @ 120.694
124.78/126.63	c bounds -575 >= -971 @ 120.698
124.78/126.63	c bounds -575 >= -970 @ 120.702
124.78/126.63	c bounds -575 >= -969 @ 120.705
124.78/126.64	c bounds -575 >= -968 @ 120.708
124.78/126.64	c bounds -575 >= -967 @ 120.711
124.78/126.65	c bounds -575 >= -966 @ 120.715
124.78/126.65	c bounds -575 >= -965 @ 120.718
124.78/126.65	c bounds -575 >= -964 @ 120.722
124.78/126.66	c bounds -575 >= -963 @ 120.725
124.78/126.66	c bounds -575 >= -962 @ 120.729
124.78/126.66	c bounds -575 >= -961 @ 120.733
124.78/126.67	c bounds -575 >= -960 @ 120.736
124.78/126.67	c bounds -575 >= -959 @ 120.739
124.78/126.68	c bounds -575 >= -958 @ 120.744
124.78/126.68	c bounds -575 >= -957 @ 120.747
124.78/126.68	c bounds -575 >= -956 @ 120.752
124.78/126.69	c bounds -575 >= -955 @ 120.755
124.78/126.69	c bounds -575 >= -954 @ 120.759
124.78/126.70	c bounds -575 >= -953 @ 120.762
124.87/126.70	c bounds -575 >= -952 @ 120.766
124.87/126.70	c bounds -575 >= -951 @ 120.77
124.87/126.71	c bounds -575 >= -950 @ 120.774
124.87/126.71	c bounds -575 >= -949 @ 120.777
124.87/126.72	c bounds -575 >= -948 @ 120.782
124.87/126.72	c bounds -575 >= -947 @ 120.785
124.87/126.72	c bounds -575 >= -946 @ 120.789
124.87/126.73	c bounds -575 >= -945 @ 120.792
124.87/126.73	c bounds -575 >= -944 @ 120.797
124.87/126.74	c bounds -575 >= -943 @ 120.8
124.87/126.74	c bounds -575 >= -942 @ 120.805
124.87/126.74	c bounds -575 >= -941 @ 120.807
124.87/126.75	c bounds -575 >= -940 @ 120.812
124.87/126.75	c bounds -575 >= -939 @ 120.815
124.87/126.77	c bounds -575 >= -938 @ 120.828
125.19/127.05	c bounds -575 >= -937 @ 121.108
125.19/127.07	c bounds -575 >= -936 @ 121.13
125.37/127.21	c bounds -575 >= -935 @ 121.265
125.67/127.55	c bounds -575 >= -934 @ 121.597
125.67/127.59	c bounds -575 >= -933 @ 121.637
125.77/127.68	c bounds -575 >= -932 @ 121.724
125.87/127.79	c #Conflicts:      41000 | #Constraints:     179946
125.87/127.79	c bounds -575 >= -931 @ 121.829
126.18/128.03	c bounds -575 >= -930 @ 122.067
126.37/128.21	c #Conflicts:      42000 | #Constraints:     181000
126.37/128.21	c bounds -575 >= -929 @ 122.249
129.36/131.20	c INPROCESSING
129.36/131.20	c GARBAGE COLLECT
129.36/131.20	c bounds -575 >= -928 @ 125.188
129.46/131.31	c #Conflicts:      43000 | #Constraints:     176381
129.46/131.31	c bounds -575 >= -927 @ 125.299
129.75/131.64	c bounds -575 >= -926 @ 125.617
129.96/131.83	c #Conflicts:      44000 | #Constraints:     177432
129.96/131.83	c bounds -575 >= -925 @ 125.808
130.27/132.15	c bounds -575 >= -924 @ 126.111
130.55/132.45	c #Conflicts:      45000 | #Constraints:     178480
130.55/132.45	c bounds -575 >= -923 @ 126.412
131.26/133.13	c #Conflicts:      46000 | #Constraints:     179507
131.26/133.13	c #Conflicts:      47000 | #Constraints:     180507
131.26/133.13	c bounds -575 >= -922 @ 127.075
131.95/133.87	c #Conflicts:      48000 | #Constraints:     181549
131.95/133.87	c INPROCESSING
131.95/133.87	c GARBAGE COLLECT
131.95/133.87	c bounds -576 >= -922 @ 127.799
132.05/133.90	c bounds -577 >= -922 @ 127.827
135.16/137.11	c bounds -578 >= -922 @ 131.003
135.94/137.81	c #Conflicts:      49000 | #Constraints:     177203
135.94/137.81	c #Conflicts:      50000 | #Constraints:     178203
135.94/137.81	c bounds -578 >= -921 @ 131.688
136.35/138.27	c #Conflicts:      51000 | #Constraints:     179239
136.35/138.27	c bounds -578 >= -920 @ 132.133
136.94/138.83	c #Conflicts:      52000 | #Constraints:     180278
136.94/138.83	c #Conflicts:      53000 | #Constraints:     181278
136.94/138.83	c bounds -578 >= -919 @ 132.681
137.74/139.63	c #Conflicts:      54000 | #Constraints:     182326
137.74/139.63	c #Conflicts:      55000 | #Constraints:     183326
137.74/139.63	c bounds -578 >= -918 @ 133.461
141.25/143.18	c #Conflicts:      56000 | #Constraints:     184368
141.25/143.18	c bounds -579 >= -918 @ 136.98
141.43/143.36	c bounds -579 >= -917 @ 137.154
141.73/143.64	c bounds -579 >= -916 @ 137.423
142.14/144.09	c #Conflicts:      57000 | #Constraints:     185414
142.14/144.09	c bounds -579 >= -915 @ 137.867
142.73/144.66	c #Conflicts:      58000 | #Constraints:     186450
142.73/144.66	c bounds -579 >= -914 @ 138.429
143.92/145.86	c #Conflicts:      59000 | #Constraints:     187477
143.92/145.86	c bounds -580 >= -914 @ 139.598
144.92/146.83	c #Conflicts:      60000 | #Constraints:     188478
144.92/146.83	c bounds -580 >= -913 @ 140.548
146.13/148.07	c #Conflicts:      61000 | #Constraints:     189518
146.13/148.07	c bounds -581 >= -913 @ 141.769
208.38/210.42	c #Conflicts:      62000 | #Constraints:     190519
208.38/210.42	c bounds -581 >= -912 @ 203.726
212.57/214.61	c #Conflicts:      63000 | #Constraints:     191555
212.57/214.61	c #Conflicts:      64000 | #Constraints:     192555
212.57/214.61	c bounds -582 >= -912 @ 207.831
214.36/216.49	c #Conflicts:      65000 | #Constraints:     193556
214.36/216.49	c INPROCESSING
214.36/216.49	c GARBAGE COLLECT
214.36/216.49	c #Conflicts:      66000 | #Constraints:     183180
214.36/216.49	c bounds -582 >= -911 @ 209.678
215.56/217.61	c #Conflicts:      67000 | #Constraints:     184222
215.56/217.61	c #Conflicts:      68000 | #Constraints:     185222
215.56/217.61	c bounds -582 >= -910 @ 210.786
219.15/221.29	c #Conflicts:      69000 | #Constraints:     186267
219.15/221.29	c #Conflicts:      70000 | #Constraints:     187267
219.15/221.29	c #Conflicts:      71000 | #Constraints:     188267
219.15/221.29	c INPROCESSING
219.15/221.29	c GARBAGE COLLECT
219.15/221.29	c #Conflicts:      72000 | #Constraints:     180366
219.15/221.29	c bounds -583 >= -910 @ 214.404
219.55/221.68	c bounds -584 >= -910 @ 214.792
221.15/223.20	c #Conflicts:      73000 | #Constraints:     181368
221.15/223.20	c #Conflicts:      74000 | #Constraints:     182368
221.15/223.20	c #Conflicts:      75000 | #Constraints:     183368
221.15/223.20	c bounds -584 >= -909 @ 216.268
221.24/223.36	c bounds -585 >= -909 @ 216.427
221.24/223.39	c bounds -586 >= -909 @ 216.452
221.34/223.42	c bounds -587 >= -909 @ 216.479
221.34/223.44	c bounds -589 >= -909 @ 216.507
221.34/223.48	c bounds -591 >= -909 @ 216.539
222.64/224.76	c bounds -592 >= -909 @ 217.808
222.84/224.97	c bounds -593 >= -909 @ 218.017
225.74/227.81	c #Conflicts:      76000 | #Constraints:     184438
225.74/227.81	c #Conflicts:      77000 | #Constraints:     185438
225.74/227.81	c #Conflicts:      78000 | #Constraints:     186438
225.74/227.81	c INPROCESSING
225.74/227.81	c GARBAGE COLLECT
225.74/227.81	c bounds -595 >= -909 @ 220.804
232.03/234.20	c #Conflicts:      79000 | #Constraints:     179677
232.03/234.20	c #Conflicts:      80000 | #Constraints:     180677
232.03/234.20	c bounds -600 >= -909 @ 227.117
235.21/237.30	c #Conflicts:      81000 | #Constraints:     181678
235.21/237.30	c #Conflicts:      82000 | #Constraints:     182678
235.21/237.30	c #Conflicts:      83000 | #Constraints:     183678
235.21/237.30	c #Conflicts:      84000 | #Constraints:     184678
235.21/237.30	c bounds -600 >= -908 @ 230.143
237.10/239.26	c #Conflicts:      85000 | #Constraints:     185750
237.10/239.26	c #Conflicts:      86000 | #Constraints:     186750
237.10/239.26	c #Conflicts:      87000 | #Constraints:     187750
237.10/239.26	c #Conflicts:      88000 | #Constraints:     188750
237.10/239.26	c bounds -600 >= -907 @ 232.063
242.09/244.20	c #Conflicts:      89000 | #Constraints:     189807
242.09/244.20	c bounds -602 >= -907 @ 236.924
329.39/331.77	c #Conflicts:      90000 | #Constraints:     190808
329.39/331.77	c #Conflicts:      91000 | #Constraints:     191808
329.39/331.77	c #Conflicts:      92000 | #Constraints:     192808
329.39/331.77	c #Conflicts:      93000 | #Constraints:     193808
329.39/331.77	c #Conflicts:      94000 | #Constraints:     194808
329.39/331.77	c #Conflicts:      95000 | #Constraints:     195808
329.39/331.77	c bounds -602 >= -906 @ 323.917
329.99/332.32	c bounds -603 >= -906 @ 324.461
330.59/332.97	c bounds -604 >= -906 @ 325.101
335.47/337.83	c #Conflicts:      96000 | #Constraints:     196841
335.47/337.83	c bounds -608 >= -906 @ 329.911
339.56/341.93	c #Conflicts:      97000 | #Constraints:     197842
339.56/341.93	c #Conflicts:      98000 | #Constraints:     198842
339.56/341.93	c #Conflicts:      99000 | #Constraints:     199842
339.56/341.93	c INPROCESSING
339.56/341.93	c GARBAGE COLLECT
339.56/341.93	c bounds -609 >= -906 @ 333.951
343.35/345.78	c #Conflicts:     100000 | #Constraints:     186395
343.35/345.78	c bounds -610 >= -906 @ 337.759
348.44/350.89	c #Conflicts:     101000 | #Constraints:     187396
348.44/350.89	c #Conflicts:     102000 | #Constraints:     188396
348.44/350.89	c #Conflicts:     103000 | #Constraints:     189396
348.44/350.89	c #Conflicts:     104000 | #Constraints:     190396
348.44/350.89	c #Conflicts:     105000 | #Constraints:     191396
348.44/350.89	c #Conflicts:     106000 | #Constraints:     192396
348.44/350.89	c #Conflicts:     107000 | #Constraints:     193396
348.44/350.89	c bounds -610 >= -905 @ 342.77
348.54/350.98	c bounds -611 >= -905 @ 342.865
348.65/351.01	c bounds -612 >= -905 @ 342.896
348.65/351.04	c bounds -613 >= -905 @ 342.927
348.65/351.07	c bounds -614 >= -905 @ 342.956
350.04/352.45	c INPROCESSING
350.04/352.45	c GARBAGE COLLECT
350.04/352.45	c bounds -616 >= -905 @ 344.313
350.14/352.50	c bounds -617 >= -905 @ 344.368
350.14/352.54	c bounds -618 >= -905 @ 344.407
351.54/353.96	c bounds -619 >= -905 @ 345.808
351.65/354.08	c bounds -620 >= -905 @ 345.934
353.33/355.75	c #Conflicts:     108000 | #Constraints:     183377
353.33/355.75	c bounds -621 >= -905 @ 347.578
426.16/428.71	c #Conflicts:     109000 | #Constraints:     184378
426.16/428.71	c #Conflicts:     110000 | #Constraints:     185378
426.16/428.71	c #Conflicts:     111000 | #Constraints:     186378
426.16/428.71	c #Conflicts:     112000 | #Constraints:     187378
426.16/428.71	c #Conflicts:     113000 | #Constraints:     188378
426.16/428.71	c #Conflicts:     114000 | #Constraints:     189378
426.16/428.71	c #Conflicts:     115000 | #Constraints:     190378
426.16/428.71	c INPROCESSING
426.16/428.71	c GARBAGE COLLECT
426.16/428.71	c rational objective -789.333
427.16/429.70	c bounds -623 >= -905 @ 420.957
427.47/430.03	c bounds -624 >= -905 @ 421.275
428.47/431.04	c bounds -625 >= -905 @ 422.28
428.56/431.12	c bounds -626 >= -905 @ 422.353
428.56/431.14	c bounds -627 >= -905 @ 422.377
428.56/431.17	c bounds -628 >= -905 @ 422.4
428.56/431.19	c bounds -629 >= -905 @ 422.426
428.66/431.22	c bounds -630 >= -905 @ 422.451
430.25/432.81	c #Conflicts:     116000 | #Constraints:     181620
430.25/432.81	c bounds -631 >= -905 @ 424.026
430.25/432.84	c bounds -632 >= -905 @ 424.052
430.25/432.87	c bounds -633 >= -905 @ 424.077
430.25/432.89	c bounds -635 >= -905 @ 424.104
430.35/432.92	c bounds -636 >= -905 @ 424.129
433.94/436.55	c #Conflicts:     117000 | #Constraints:     182625
433.94/436.55	c bounds -646 >= -905 @ 427.708
435.84/438.45	c #Conflicts:     118000 | #Constraints:     183626
435.84/438.45	c #Conflicts:     119000 | #Constraints:     184626
435.84/438.45	c bounds -646 >= -904 @ 429.573
437.13/439.78	c #Conflicts:     120000 | #Constraints:     185686
437.13/439.78	c #Conflicts:     121000 | #Constraints:     186686
437.13/439.78	c bounds -646 >= -903 @ 430.88
439.62/442.27	c #Conflicts:     122000 | #Constraints:     187716
439.62/442.27	c bounds -647 >= -903 @ 433.33
441.82/444.42	c #Conflicts:     123000 | #Constraints:     188717
441.82/444.42	c INPROCESSING
441.82/444.42	c GARBAGE COLLECT
441.82/444.42	c #Conflicts:     124000 | #Constraints:     180467
441.82/444.42	c bounds -647 >= -902 @ 435.441
444.01/446.61	c #Conflicts:     125000 | #Constraints:     181524
444.01/446.61	c bounds -648 >= -902 @ 437.601
445.31/448.00	c #Conflicts:     126000 | #Constraints:     182525
445.31/448.00	c #Conflicts:     127000 | #Constraints:     183525
445.31/448.00	c bounds -648 >= -901 @ 438.957
446.99/449.63	c #Conflicts:     128000 | #Constraints:     184591
446.99/449.63	c #Conflicts:     129000 | #Constraints:     185591
446.99/449.63	c #Conflicts:     130000 | #Constraints:     186591
446.99/449.63	c bounds -648 >= -900 @ 440.526
446.99/449.66	c bounds -649 >= -900 @ 440.555
447.19/449.87	c bounds -650 >= -900 @ 440.763
447.29/449.90	c bounds -651 >= -900 @ 440.79
448.50/451.17	c bounds -652 >= -900 @ 442.043
451.28/453.91	c #Conflicts:     131000 | #Constraints:     187658
451.28/453.91	c #Conflicts:     132000 | #Constraints:     188658
451.28/453.91	c #Conflicts:     133000 | #Constraints:     189658
451.28/453.91	c #Conflicts:     134000 | #Constraints:     190658
451.28/453.91	c bounds -652 >= -899 @ 444.728
451.68/454.37	c bounds -653 >= -899 @ 445.186
453.39/456.04	c #Conflicts:     135000 | #Constraints:     191695
453.39/456.04	c bounds -654 >= -899 @ 446.828
453.68/456.31	c bounds -655 >= -899 @ 447.1
453.68/456.39	c bounds -657 >= -899 @ 447.179
458.76/461.45	c #Conflicts:     136000 | #Constraints:     192698
458.76/461.45	c bounds -658 >= -899 @ 452.188
462.75/465.49	c #Conflicts:     137000 | #Constraints:     193699
462.75/465.49	c #Conflicts:     138000 | #Constraints:     194699
462.75/465.49	c #Conflicts:     139000 | #Constraints:     195699
462.75/465.49	c #Conflicts:     140000 | #Constraints:     196699
462.75/465.49	c #Conflicts:     141000 | #Constraints:     197699
462.75/465.49	c #Conflicts:     142000 | #Constraints:     198699
462.75/465.49	c bounds -658 >= -898 @ 456.147
462.95/465.60	c bounds -659 >= -898 @ 456.255
468.54/471.27	c #Conflicts:     143000 | #Constraints:     199733
468.54/471.27	c bounds -661 >= -898 @ 461.849
475.52/478.20	c #Conflicts:     144000 | #Constraints:     200734
475.52/478.20	c #Conflicts:     145000 | #Constraints:     201734
475.52/478.20	c #Conflicts:     146000 | #Constraints:     202734
475.52/478.20	c #Conflicts:     147000 | #Constraints:     203734
475.52/478.20	c #Conflicts:     148000 | #Constraints:     204734
475.52/478.20	c #Conflicts:     149000 | #Constraints:     205734
475.52/478.20	c #Conflicts:     150000 | #Constraints:     206734
475.52/478.20	c INPROCESSING
475.52/478.20	c GARBAGE COLLECT
475.52/478.20	c bounds -663 >= -898 @ 468.659
477.33/480.03	c bounds -664 >= -898 @ 470.465
478.81/481.57	c #Conflicts:     151000 | #Constraints:     189900
478.81/481.57	c bounds -665 >= -898 @ 471.988
478.90/481.60	c bounds -669 >= -898 @ 472.017
478.90/481.63	c bounds -670 >= -898 @ 472.044
479.31/482.03	c bounds -678 >= -898 @ 472.435
479.31/482.06	c bounds -679 >= -898 @ 472.463
481.90/484.63	c bounds -681 >= -898 @ 474.985
484.19/486.90	c #Conflicts:     152000 | #Constraints:     190906
484.19/486.90	c #Conflicts:     153000 | #Constraints:     191906
484.19/486.90	c #Conflicts:     154000 | #Constraints:     192906
484.19/486.90	c #Conflicts:     155000 | #Constraints:     193906
484.19/486.90	c bounds -681 >= -897 @ 477.226
573.07/576.13	c bounds -682 >= -897 @ 565.667
573.07/576.17	c bounds -683 >= -897 @ 565.709
578.51/581.68	c #Conflicts:     156000 | #Constraints:     194956
578.51/581.68	c bounds -684 >= -897 @ 571.106
584.47/587.60	c #Conflicts:     157000 | #Constraints:     195957
584.47/587.60	c #Conflicts:     158000 | #Constraints:     196957
584.47/587.60	c #Conflicts:     159000 | #Constraints:     197957
584.47/587.60	c INPROCESSING
584.47/587.60	c GARBAGE COLLECT
584.47/587.60	c #Conflicts:     160000 | #Constraints:     185258
584.47/587.60	c #Conflicts:     161000 | #Constraints:     186258
584.47/587.60	c #Conflicts:     162000 | #Constraints:     187258
584.47/587.60	c #Conflicts:     163000 | #Constraints:     188258
584.47/587.60	c #Conflicts:     164000 | #Constraints:     189258
584.47/587.60	c bounds -684 >= -896 @ 576.881
586.77/589.90	c #Conflicts:     165000 | #Constraints:     190321
586.77/589.90	c bounds -685 >= -896 @ 579.121
675.98/679.64	c #Conflicts:     166000 | #Constraints:     191322
675.98/679.64	c #Conflicts:     167000 | #Constraints:     192322
675.98/679.64	c #Conflicts:     168000 | #Constraints:     193322
675.98/679.64	c #Conflicts:     169000 | #Constraints:     194322
675.98/679.64	c INPROCESSING
675.98/679.64	c GARBAGE COLLECT
675.98/679.64	c rational objective -784.398
677.49/681.17	c bounds -686 >= -896 @ 669.289
682.25/685.90	c #Conflicts:     170000 | #Constraints:     183588
682.25/685.90	c bounds -687 >= -896 @ 673.944
686.34/690.01	c #Conflicts:     171000 | #Constraints:     184589
686.34/690.01	c #Conflicts:     172000 | #Constraints:     185589
686.34/690.01	c #Conflicts:     173000 | #Constraints:     186589
686.34/690.01	c #Conflicts:     174000 | #Constraints:     187589
686.34/690.01	c #Conflicts:     175000 | #Constraints:     188589
686.34/690.01	c #Conflicts:     176000 | #Constraints:     189589
686.34/690.01	c bounds -687 >= -895 @ 677.931
686.34/690.04	c bounds -688 >= -895 @ 677.963
686.34/690.08	c bounds -689 >= -895 @ 677.989
686.34/690.11	c bounds -690 >= -895 @ 678.019
687.42/691.11	c bounds -691 >= -895 @ 679.007
691.69/695.47	c #Conflicts:     177000 | #Constraints:     190653
691.69/695.47	c #Conflicts:     178000 | #Constraints:     191653
691.69/695.47	c bounds -692 >= -895 @ 683.289
698.13/701.99	c #Conflicts:     179000 | #Constraints:     192654
698.13/701.99	c #Conflicts:     180000 | #Constraints:     193654
698.13/701.99	c #Conflicts:     181000 | #Constraints:     194654
698.13/701.99	c #Conflicts:     182000 | #Constraints:     195654
698.13/701.99	c #Conflicts:     183000 | #Constraints:     196654
698.13/701.99	c #Conflicts:     184000 | #Constraints:     197654
698.13/701.99	c #Conflicts:     185000 | #Constraints:     198654
698.13/701.99	c bounds -692 >= -894 @ 689.637
699.43/703.20	c #Conflicts:     186000 | #Constraints:     199717
699.43/703.20	c bounds -693 >= -894 @ 690.829
701.62/705.43	c bounds -694 >= -894 @ 693.043
701.62/705.47	c bounds -695 >= -894 @ 693.079
701.72/705.51	c bounds -696 >= -894 @ 693.115
701.72/705.55	c bounds -697 >= -894 @ 693.153
701.72/705.58	c bounds -698 >= -894 @ 693.191
701.82/705.62	c bounds -699 >= -894 @ 693.229
703.02/706.80	c bounds -700 >= -894 @ 694.386
715.12/721.51	c #Conflicts:     187000 | #Constraints:     200725
715.12/721.51	c #Conflicts:     188000 | #Constraints:     201725
715.12/721.51	c #Conflicts:     189000 | #Constraints:     202725
715.12/721.51	c #Conflicts:     190000 | #Constraints:     203725
715.12/721.51	c #Conflicts:     191000 | #Constraints:     204725
715.12/721.51	c #Conflicts:     192000 | #Constraints:     205725
715.12/721.51	c #Conflicts:     193000 | #Constraints:     206725
715.12/721.51	c #Conflicts:     194000 | #Constraints:     207725
715.12/721.51	c #Conflicts:     195000 | #Constraints:     208725
715.12/721.51	c #Conflicts:     196000 | #Constraints:     209725
715.12/721.51	c #Conflicts:     197000 | #Constraints:     210725
715.12/721.51	c #Conflicts:     198000 | #Constraints:     211725
715.12/721.51	c bounds -700 >= -893 @ 706.277
715.12/721.55	c bounds -704 >= -893 @ 706.318
719.11/725.52	c #Conflicts:     199000 | #Constraints:     212762
719.11/725.52	c #Conflicts:     200000 | #Constraints:     213762
719.11/725.52	c INPROCESSING
719.11/725.52	c GARBAGE COLLECT
719.11/725.52	c bounds -705 >= -893 @ 710.24
750.73/758.63	c #Conflicts:     201000 | #Constraints:     193624
750.73/758.63	c #Conflicts:     202000 | #Constraints:     194624
750.73/758.63	c #Conflicts:     203000 | #Constraints:     195624
750.73/758.63	c #Conflicts:     204000 | #Constraints:     196624
750.73/758.63	c #Conflicts:     205000 | #Constraints:     197624
750.73/758.63	c bounds -706 >= -893 @ 741.654
846.51/854.89	c #Conflicts:     206000 | #Constraints:     198625
846.51/854.89	c #Conflicts:     207000 | #Constraints:     199625
846.51/854.89	c #Conflicts:     208000 | #Constraints:     200625
846.51/854.89	c #Conflicts:     209000 | #Constraints:     201625
846.51/854.89	c #Conflicts:     210000 | #Constraints:     202625
846.51/854.89	c #Conflicts:     211000 | #Constraints:     203625
846.51/854.89	c INPROCESSING
846.51/854.89	c GARBAGE COLLECT
846.51/854.89	c #Conflicts:     212000 | #Constraints:     188431
846.51/854.89	c #Conflicts:     213000 | #Constraints:     189431
846.51/854.89	c #Conflicts:     214000 | #Constraints:     190431
846.51/854.89	c #Conflicts:     215000 | #Constraints:     191431
846.51/854.89	c #Conflicts:     216000 | #Constraints:     192431
846.51/854.89	c #Conflicts:     217000 | #Constraints:     193431
846.51/854.89	c #Conflicts:     218000 | #Constraints:     194431
846.51/854.89	c #Conflicts:     219000 | #Constraints:     195431
846.51/854.89	c bounds -706 >= -892 @ 836.905
883.72/893.31	c #Conflicts:     220000 | #Constraints:     196491
883.72/893.31	c #Conflicts:     221000 | #Constraints:     197491
883.72/893.31	c #Conflicts:     222000 | #Constraints:     198491
883.72/893.31	c INPROCESSING
883.72/893.31	c GARBAGE COLLECT
883.72/893.31	c #Conflicts:     223000 | #Constraints:     185595
883.72/893.31	c #Conflicts:     224000 | #Constraints:     186595
883.72/893.31	c #Conflicts:     225000 | #Constraints:     187595
883.72/893.31	c #Conflicts:     226000 | #Constraints:     188595
883.72/893.31	c #Conflicts:     227000 | #Constraints:     189595
883.72/893.31	c #Conflicts:     228000 | #Constraints:     190595
883.72/893.31	c #Conflicts:     229000 | #Constraints:     191595
883.72/893.31	c bounds -709 >= -892 @ 873.743
898.48/908.17	c #Conflicts:     230000 | #Constraints:     192596
898.48/908.17	c #Conflicts:     231000 | #Constraints:     193596
898.48/908.17	c #Conflicts:     232000 | #Constraints:     194596
898.48/908.17	c #Conflicts:     233000 | #Constraints:     195596
898.48/908.17	c #Conflicts:     234000 | #Constraints:     196596
898.48/908.17	c #Conflicts:     235000 | #Constraints:     197596
898.48/908.17	c #Conflicts:     236000 | #Constraints:     198596
898.48/908.17	c #Conflicts:     237000 | #Constraints:     199596
898.48/908.17	c #Conflicts:     238000 | #Constraints:     200596
898.48/908.17	c #Conflicts:     239000 | #Constraints:     201596
898.48/908.17	c #Conflicts:     240000 | #Constraints:     202596
898.48/908.17	c #Conflicts:     241000 | #Constraints:     203596
898.48/908.17	c bounds -709 >= -891 @ 888.367
908.24/918.21	c #Conflicts:     242000 | #Constraints:     204704
908.24/918.21	c #Conflicts:     243000 | #Constraints:     205704
908.24/918.21	c bounds -710 >= -891 @ 898.009
923.11/933.17	c #Conflicts:     244000 | #Constraints:     206705
923.11/933.17	c #Conflicts:     245000 | #Constraints:     207705
923.11/933.17	c #Conflicts:     246000 | #Constraints:     208705
923.11/933.17	c #Conflicts:     247000 | #Constraints:     209705
923.11/933.17	c #Conflicts:     248000 | #Constraints:     210705
923.11/933.17	c #Conflicts:     249000 | #Constraints:     211705
923.11/933.17	c #Conflicts:     250000 | #Constraints:     212705
923.11/933.17	c #Conflicts:     251000 | #Constraints:     213705
923.11/933.17	c #Conflicts:     252000 | #Constraints:     214705
923.11/933.17	c #Conflicts:     253000 | #Constraints:     215705
923.11/933.17	c #Conflicts:     254000 | #Constraints:     216705
923.11/933.17	c #Conflicts:     255000 | #Constraints:     217705
923.11/933.17	c #Conflicts:     256000 | #Constraints:     218705
923.11/933.17	c bounds -710 >= -890 @ 912.732
923.20/933.22	c bounds -711 >= -890 @ 912.786
929.77/939.81	c #Conflicts:     257000 | #Constraints:     219763
929.77/939.81	c bounds -712 >= -890 @ 919.301
929.77/939.87	c bounds -715 >= -890 @ 919.354
1005.50/1015.75	c INPROCESSING
1005.50/1015.75	c GARBAGE COLLECT
1005.50/1015.75	c rational objective -781.946
1011.19/1021.45	c #Conflicts:     258000 | #Constraints:     196615
1011.19/1021.45	c bounds -717 >= -890 @ 1000.39
1011.19/1021.48	c bounds -718 >= -890 @ 1000.42
1011.29/1021.51	c bounds -720 >= -890 @ 1000.45
1011.59/1021.84	c bounds -721 >= -890 @ 1000.77
1014.18/1024.46	c #Conflicts:     259000 | #Constraints:     197619
1014.18/1024.46	c bounds -722 >= -890 @ 1003.36
1055.95/1066.39	c #Conflicts:     260000 | #Constraints:     198620
1055.95/1066.39	c #Conflicts:     261000 | #Constraints:     199620
1055.95/1066.39	c #Conflicts:     262000 | #Constraints:     200620
1055.95/1066.39	c #Conflicts:     263000 | #Constraints:     201620
1055.95/1066.39	c #Conflicts:     264000 | #Constraints:     202620
1055.95/1066.39	c #Conflicts:     265000 | #Constraints:     203620
1055.95/1066.39	c #Conflicts:     266000 | #Constraints:     204620
1055.95/1066.39	c #Conflicts:     267000 | #Constraints:     205620
1055.95/1066.39	c #Conflicts:     268000 | #Constraints:     206620
1055.95/1066.39	c #Conflicts:     269000 | #Constraints:     207620
1055.95/1066.39	c #Conflicts:     270000 | #Constraints:     208620
1055.95/1066.39	c INPROCESSING
1055.95/1066.39	c GARBAGE COLLECT
1055.95/1066.39	c #Conflicts:     271000 | #Constraints:     190950
1055.95/1066.39	c #Conflicts:     272000 | #Constraints:     191950
1055.95/1066.39	c #Conflicts:     273000 | #Constraints:     192950
1055.95/1066.39	c #Conflicts:     274000 | #Constraints:     193950
1055.95/1066.39	c #Conflicts:     275000 | #Constraints:     194951
1055.95/1066.39	c #Conflicts:     276000 | #Constraints:     195951
1055.95/1066.39	c bounds -723 >= -890 @ 1044.79
1057.24/1067.63	c #Conflicts:     277000 | #Constraints:     196952
1057.24/1067.63	c bounds -723 >= -889 @ 1046.02
1291.22/1303.90	c #Conflicts:     278000 | #Constraints:     197997
1291.22/1303.90	c #Conflicts:     279000 | #Constraints:     198997
1291.22/1303.90	c #Conflicts:     280000 | #Constraints:     199997
1291.22/1303.90	c #Conflicts:     281000 | #Constraints:     200997
1291.22/1303.90	c #Conflicts:     282000 | #Constraints:     201997
1291.22/1303.90	c INPROCESSING
1291.22/1303.90	c GARBAGE COLLECT
1291.22/1303.90	c #Conflicts:     283000 | #Constraints:     187283
1291.22/1303.90	c #Conflicts:     284000 | #Constraints:     188283
1291.22/1303.90	c #Conflicts:     285000 | #Constraints:     189283
1291.22/1303.90	c #Conflicts:     286000 | #Constraints:     190283
1291.22/1303.90	c #Conflicts:     287000 | #Constraints:     191283
1291.22/1303.90	c #Conflicts:     288000 | #Constraints:     192283
1291.22/1303.90	c #Conflicts:     289000 | #Constraints:     193283
1291.22/1303.90	c #Conflicts:     290000 | #Constraints:     194283
1291.22/1303.90	c #Conflicts:     291000 | #Constraints:     195283
1291.22/1303.90	c #Conflicts:     292000 | #Constraints:     196283
1291.22/1303.90	c #Conflicts:     293000 | #Constraints:     197283
1291.22/1303.90	c #Conflicts:     294000 | #Constraints:     198283
1291.22/1303.90	c #Conflicts:     295000 | #Constraints:     199283
1291.22/1303.90	c bounds -723 >= -888 @ 1279.29
1373.69/1386.65	c INPROCESSING
1373.69/1386.65	c GARBAGE COLLECT
1373.69/1386.65	c rational objective -781.904
1375.09/1388.03	c bounds -724 >= -888 @ 1362.82
1376.09/1389.07	c #Conflicts:     296000 | #Constraints:     186242
1376.09/1389.07	c bounds -725 >= -888 @ 1363.85
1376.09/1389.09	c bounds -726 >= -888 @ 1363.88
1381.17/1394.17	c #Conflicts:     297000 | #Constraints:     187244
1381.17/1394.17	c bounds -730 >= -888 @ 1368.86
1400.48/1413.51	c #Conflicts:     298000 | #Constraints:     188245
1400.48/1413.51	c #Conflicts:     299000 | #Constraints:     189245
1400.48/1413.51	c #Conflicts:     300000 | #Constraints:     190245
1400.48/1413.51	c #Conflicts:     301000 | #Constraints:     191245
1400.48/1413.51	c bounds -731 >= -888 @ 1387.95
1410.83/1424.01	c #Conflicts:     302000 | #Constraints:     192246
1410.83/1424.01	c #Conflicts:     303000 | #Constraints:     193246
1410.83/1424.01	c #Conflicts:     304000 | #Constraints:     194246
1410.83/1424.01	c #Conflicts:     305000 | #Constraints:     195246
1410.83/1424.01	c #Conflicts:     306000 | #Constraints:     196246
1410.83/1424.01	c #Conflicts:     307000 | #Constraints:     197246
1410.83/1424.01	c #Conflicts:     308000 | #Constraints:     198246
1410.83/1424.01	c #Conflicts:     309000 | #Constraints:     199246
1410.83/1424.01	c #Conflicts:     310000 | #Constraints:     200246
1410.83/1424.01	c #Conflicts:     311000 | #Constraints:     201246
1410.83/1424.01	c bounds -731 >= -887 @ 1398.21
1414.61/1427.73	c #Conflicts:     312000 | #Constraints:     202285
1414.61/1427.73	c #Conflicts:     313000 | #Constraints:     203285
1414.61/1427.73	c #Conflicts:     314000 | #Constraints:     204285
1414.61/1427.73	c #Conflicts:     315000 | #Constraints:     205285
1414.61/1427.73	c bounds -731 >= -886 @ 1401.85
1418.59/1431.72	c #Conflicts:     316000 | #Constraints:     206309
1418.59/1431.72	c #Conflicts:     317000 | #Constraints:     207309
1418.59/1431.72	c #Conflicts:     318000 | #Constraints:     208309
1418.59/1431.72	c #Conflicts:     319000 | #Constraints:     209309
1418.59/1431.72	c #Conflicts:     320000 | #Constraints:     210309
1418.59/1431.72	c bounds -731 >= -885 @ 1405.76
1421.09/1434.20	c bounds -732 >= -885 @ 1408.19
1483.46/1496.94	c #Conflicts:     321000 | #Constraints:     211355
1483.46/1496.94	c #Conflicts:     322000 | #Constraints:     212355
1483.46/1496.94	c #Conflicts:     323000 | #Constraints:     213355
1483.46/1496.94	c #Conflicts:     324000 | #Constraints:     214355
1483.46/1496.94	c #Conflicts:     325000 | #Constraints:     215355
1483.46/1496.94	c #Conflicts:     326000 | #Constraints:     216355
1483.46/1496.94	c #Conflicts:     327000 | #Constraints:     217355
1483.46/1496.94	c #Conflicts:     328000 | #Constraints:     218355
1483.46/1496.94	c #Conflicts:     329000 | #Constraints:     219355
1483.46/1496.94	c #Conflicts:     330000 | #Constraints:     220355
1483.46/1496.94	c #Conflicts:     331000 | #Constraints:     221355
1483.46/1496.94	c #Conflicts:     332000 | #Constraints:     222355
1483.46/1496.94	c #Conflicts:     333000 | #Constraints:     223355
1483.46/1496.94	c #Conflicts:     334000 | #Constraints:     224355
1483.46/1496.94	c #Conflicts:     335000 | #Constraints:     225355
1483.46/1496.94	c #Conflicts:     336000 | #Constraints:     226355
1483.46/1496.94	c INPROCESSING
1483.46/1496.94	c GARBAGE COLLECT
1483.46/1496.94	c #Conflicts:     337000 | #Constraints:     199700
1483.46/1496.94	c #Conflicts:     338000 | #Constraints:     200700
1483.46/1496.94	c #Conflicts:     339000 | #Constraints:     201700
1483.46/1496.94	c #Conflicts:     340000 | #Constraints:     202700
1483.46/1496.94	c #Conflicts:     341000 | #Constraints:     203700
1483.46/1496.94	c #Conflicts:     342000 | #Constraints:     204700
1483.46/1496.94	c #Conflicts:     343000 | #Constraints:     205700
1483.46/1496.94	c bounds -733 >= -885 @ 1469.87
1484.76/1498.26	c #Conflicts:     344000 | #Constraints:     206701
1484.76/1498.26	c bounds -733 >= -884 @ 1471.16
1586.67/1600.61	c #Conflicts:     345000 | #Constraints:     207725
1586.67/1600.61	c #Conflicts:     346000 | #Constraints:     208725
1586.67/1600.61	c #Conflicts:     347000 | #Constraints:     209725
1586.67/1600.61	c #Conflicts:     348000 | #Constraints:     210725
1586.67/1600.61	c #Conflicts:     349000 | #Constraints:     211725
1586.67/1600.61	c #Conflicts:     350000 | #Constraints:     212725
1586.67/1600.61	c INPROCESSING
1586.67/1600.61	c GARBAGE COLLECT
1586.67/1600.61	c rational objective -779.759
1592.55/1606.52	c #Conflicts:     351000 | #Constraints:     192853
1592.55/1606.52	c #Conflicts:     352000 | #Constraints:     193853
1592.55/1606.52	c #Conflicts:     353000 | #Constraints:     194853
1592.55/1606.52	c #Conflicts:     354000 | #Constraints:     195853
1592.55/1606.52	c #Conflicts:     355000 | #Constraints:     196853
1592.55/1606.52	c #Conflicts:     356000 | #Constraints:     197853
1592.55/1606.52	c bounds -733 >= -883 @ 1578.13
1731.24/1746.01	c #Conflicts:     357000 | #Constraints:     198904
1731.24/1746.01	c #Conflicts:     358000 | #Constraints:     199904
1731.24/1746.01	c #Conflicts:     359000 | #Constraints:     200904
1731.24/1746.01	c #Conflicts:     360000 | #Constraints:     201904
1731.24/1746.01	c #Conflicts:     361000 | #Constraints:     202904
1731.24/1746.01	c #Conflicts:     362000 | #Constraints:     203904
1731.24/1746.01	c #Conflicts:     363000 | #Constraints:     204904
1731.24/1746.01	c #Conflicts:     364000 | #Constraints:     205904
1731.24/1746.01	c INPROCESSING
1731.24/1746.01	c GARBAGE COLLECT
1731.24/1746.01	c #Conflicts:     365000 | #Constraints:     189268
1731.24/1746.01	c #Conflicts:     366000 | #Constraints:     190268
1731.24/1746.01	c #Conflicts:     367000 | #Constraints:     191268
1731.24/1746.01	c #Conflicts:     368000 | #Constraints:     192268
1731.24/1746.01	c #Conflicts:     369000 | #Constraints:     193268
1731.24/1746.01	c #Conflicts:     370000 | #Constraints:     194268
1731.24/1746.01	c bounds -733 >= -882 @ 1716.03
1738.80/1753.57	c #Conflicts:     371000 | #Constraints:     195337
1738.80/1753.57	c #Conflicts:     372000 | #Constraints:     196337
1738.80/1753.57	c bounds -734 >= -882 @ 1723.51
1747.67/1762.43	c #Conflicts:     373000 | #Constraints:     197338
1747.67/1762.43	c #Conflicts:     374000 | #Constraints:     198338
1747.67/1762.43	c #Conflicts:     375000 | #Constraints:     199338
1747.67/1762.43	c #Conflicts:     376000 | #Constraints:     200338
1747.67/1762.43	c #Conflicts:     377000 | #Constraints:     201338
1747.67/1762.43	c #Conflicts:     378000 | #Constraints:     202338
1747.67/1762.43	c #Conflicts:     379000 | #Constraints:     203338
1747.67/1762.43	c INPROCESSING
1747.67/1762.43	c GARBAGE COLLECT
1747.67/1762.43	c bounds -735 >= -882 @ 1732.22
2266.93/2284.54	c #Conflicts:     380000 | #Constraints:     188179
2266.93/2284.54	c #Conflicts:     381000 | #Constraints:     189179
2266.93/2284.54	c #Conflicts:     382000 | #Constraints:     190179
2266.93/2284.54	c #Conflicts:     383000 | #Constraints:     191179
2266.93/2284.54	c #Conflicts:     384000 | #Constraints:     192179
2266.93/2284.54	c #Conflicts:     385000 | #Constraints:     193179
2266.93/2284.54	c #Conflicts:     386000 | #Constraints:     194179
2266.93/2284.54	c #Conflicts:     387000 | #Constraints:     195179
2266.93/2284.54	c #Conflicts:     388000 | #Constraints:     196179
2266.93/2284.54	c #Conflicts:     389000 | #Constraints:     197179
2266.93/2284.54	c #Conflicts:     390000 | #Constraints:     198179
2266.93/2284.54	c #Conflicts:     391000 | #Constraints:     199179
2266.93/2284.54	c #Conflicts:     392000 | #Constraints:     200179
2266.93/2284.54	c #Conflicts:     393000 | #Constraints:     201179
2266.93/2284.54	c #Conflicts:     394000 | #Constraints:     202179
2266.93/2284.54	c #Conflicts:     395000 | #Constraints:     203179
2266.93/2284.54	c #Conflicts:     396000 | #Constraints:     204179
2266.93/2284.54	c #Conflicts:     397000 | #Constraints:     205179
2266.93/2284.54	c #Conflicts:     398000 | #Constraints:     206179
2266.93/2284.54	c #Conflicts:     399000 | #Constraints:     207179
2266.93/2284.54	c #Conflicts:     400000 | #Constraints:     208179
2266.93/2284.54	c #Conflicts:     401000 | #Constraints:     209179
2266.93/2284.54	c #Conflicts:     402000 | #Constraints:     210179
2266.93/2284.54	c #Conflicts:     403000 | #Constraints:     211179
2266.93/2284.54	c #Conflicts:     404000 | #Constraints:     212179
2266.93/2284.54	c #Conflicts:     405000 | #Constraints:     213179
2266.93/2284.54	c #Conflicts:     406000 | #Constraints:     214179
2266.93/2284.54	c #Conflicts:     407000 | #Constraints:     215179
2266.93/2284.54	c #Conflicts:     408000 | #Constraints:     216179
2266.93/2284.54	c #Conflicts:     409000 | #Constraints:     217179
2266.93/2284.54	c #Conflicts:     410000 | #Constraints:     218179
2266.93/2284.54	c #Conflicts:     411000 | #Constraints:     219179
2266.93/2284.54	c #Conflicts:     412000 | #Constraints:     220179
2266.93/2284.54	c #Conflicts:     413000 | #Constraints:     221179
2266.93/2284.54	c #Conflicts:     414000 | #Constraints:     222179
2266.93/2284.54	c #Conflicts:     415000 | #Constraints:     223179
2266.93/2284.54	c #Conflicts:     416000 | #Constraints:     224179
2266.93/2284.54	c #Conflicts:     417000 | #Constraints:     225179
2266.93/2284.54	c #Conflicts:     418000 | #Constraints:     226179
2266.93/2284.54	c #Conflicts:     419000 | #Constraints:     227179
2266.93/2284.54	c #Conflicts:     420000 | #Constraints:     228179
2266.93/2284.54	c #Conflicts:     421000 | #Constraints:     229179
2266.93/2284.54	c #Conflicts:     422000 | #Constraints:     230179
2266.93/2284.54	c #Conflicts:     423000 | #Constraints:     231179
2266.93/2284.54	c #Conflicts:     424000 | #Constraints:     232179
2266.93/2284.54	c #Conflicts:     425000 | #Constraints:     233179
2266.93/2284.54	c INPROCESSING
2266.93/2284.54	c GARBAGE COLLECT
2266.93/2284.54	c rational objective -777.378
2304.68/2323.41	c #Conflicts:     426000 | #Constraints:     203495
2304.68/2323.41	c #Conflicts:     427000 | #Constraints:     204496
2304.68/2323.41	c #Conflicts:     428000 | #Constraints:     205496
2304.68/2323.41	c #Conflicts:     429000 | #Constraints:     206496
2304.68/2323.41	c #Conflicts:     430000 | #Constraints:     207496
2304.68/2323.41	c #Conflicts:     431000 | #Constraints:     208496
2304.68/2323.41	c #Conflicts:     432000 | #Constraints:     209496
2304.68/2323.41	c #Conflicts:     433000 | #Constraints:     210496
2304.68/2323.41	c #Conflicts:     434000 | #Constraints:     211496
2304.68/2323.41	c #Conflicts:     435000 | #Constraints:     212496
2304.68/2323.41	c #Conflicts:     436000 | #Constraints:     213496
2304.68/2323.41	c #Conflicts:     437000 | #Constraints:     214496
2304.68/2323.41	c #Conflicts:     438000 | #Constraints:     215496
2304.68/2323.41	c #Conflicts:     439000 | #Constraints:     216496
2304.68/2323.41	c #Conflicts:     440000 | #Constraints:     217496
2304.68/2323.41	c #Conflicts:     441000 | #Constraints:     218496
2304.68/2323.41	c INPROCESSING
2304.68/2323.41	c GARBAGE COLLECT
2304.68/2323.41	c #Conflicts:     442000 | #Constraints:     195890
2304.68/2323.41	c #Conflicts:     443000 | #Constraints:     196890
2304.68/2323.41	c #Conflicts:     444000 | #Constraints:     197890
2304.68/2323.41	c bounds -735 >= -881 @ 2286.52
2316.03/2334.88	c #Conflicts:     445000 | #Constraints:     198944
2316.03/2334.88	c #Conflicts:     446000 | #Constraints:     199944
2316.03/2334.88	c #Conflicts:     447000 | #Constraints:     200944
2316.03/2334.88	c #Conflicts:     448000 | #Constraints:     201944
2316.03/2334.88	c #Conflicts:     449000 | #Constraints:     202944
2316.03/2334.88	c #Conflicts:     450000 | #Constraints:     203944
2316.03/2334.88	c #Conflicts:     451000 | #Constraints:     204944
2316.03/2334.88	c #Conflicts:     452000 | #Constraints:     205944
2316.03/2334.88	c #Conflicts:     453000 | #Constraints:     206944
2316.03/2334.88	c #Conflicts:     454000 | #Constraints:     207944
2316.03/2334.88	c #Conflicts:     455000 | #Constraints:     208944
2316.03/2334.88	c #Conflicts:     456000 | #Constraints:     209944
2316.03/2334.88	c bounds -735 >= -880 @ 2297.76
2478.93/2498.27	c #Conflicts:     457000 | #Constraints:     210980
2478.93/2498.27	c INPROCESSING
2478.93/2498.27	c GARBAGE COLLECT
2478.93/2498.27	c #Conflicts:     458000 | #Constraints:     192033
2478.93/2498.27	c #Conflicts:     459000 | #Constraints:     193033
2478.93/2498.27	c #Conflicts:     460000 | #Constraints:     194033
2478.93/2498.27	c #Conflicts:     461000 | #Constraints:     195033
2478.93/2498.27	c #Conflicts:     462000 | #Constraints:     196033
2478.93/2498.27	c #Conflicts:     463000 | #Constraints:     197033
2478.93/2498.27	c #Conflicts:     464000 | #Constraints:     198033
2478.93/2498.27	c #Conflicts:     465000 | #Constraints:     199033
2478.93/2498.27	c #Conflicts:     466000 | #Constraints:     200033
2478.93/2498.27	c #Conflicts:     467000 | #Constraints:     201033
2478.93/2498.27	c #Conflicts:     468000 | #Constraints:     202033
2478.93/2498.27	c #Conflicts:     469000 | #Constraints:     203033
2478.93/2498.27	c #Conflicts:     470000 | #Constraints:     204033
2478.93/2498.27	c #Conflicts:     471000 | #Constraints:     205033
2478.93/2498.27	c bounds -735 >= -879 @ 2460
2496.06/2515.48	c #Conflicts:     472000 | #Constraints:     206111
2496.06/2515.48	c #Conflicts:     473000 | #Constraints:     207111
2496.06/2515.48	c INPROCESSING
2496.06/2515.48	c GARBAGE COLLECT
2496.06/2515.48	c #Conflicts:     474000 | #Constraints:     189951
2496.06/2515.48	c #Conflicts:     475000 | #Constraints:     190951
2496.06/2515.48	c #Conflicts:     476000 | #Constraints:     191951
2496.06/2515.48	c #Conflicts:     477000 | #Constraints:     192951
2496.06/2515.48	c #Conflicts:     478000 | #Constraints:     193951
2496.06/2515.48	c #Conflicts:     479000 | #Constraints:     194951
2496.06/2515.48	c #Conflicts:     480000 | #Constraints:     195951
2496.06/2515.48	c #Conflicts:     481000 | #Constraints:     196951
2496.06/2515.48	c #Conflicts:     482000 | #Constraints:     197951
2496.06/2515.48	c #Conflicts:     483000 | #Constraints:     198951
2496.06/2515.48	c #Conflicts:     484000 | #Constraints:     199951
2496.06/2515.48	c #Conflicts:     485000 | #Constraints:     200951
2496.06/2515.48	c #Conflicts:     486000 | #Constraints:     201951
2496.06/2515.48	c #Conflicts:     487000 | #Constraints:     202951
2496.06/2515.48	c #Conflicts:     488000 | #Constraints:     203951
2496.06/2515.48	c bounds -735 >= -878 @ 2476.88
2528.57/2548.07	c #Conflicts:     489000 | #Constraints:     205020
2528.57/2548.07	c #Conflicts:     490000 | #Constraints:     206020
2528.57/2548.07	c #Conflicts:     491000 | #Constraints:     207020
2528.57/2548.07	c #Conflicts:     492000 | #Constraints:     208020
2528.57/2548.07	c #Conflicts:     493000 | #Constraints:     209020
2528.57/2548.07	c #Conflicts:     494000 | #Constraints:     210020
2528.57/2548.07	c #Conflicts:     495000 | #Constraints:     211020
2528.57/2548.07	c #Conflicts:     496000 | #Constraints:     212020
2528.57/2548.07	c #Conflicts:     497000 | #Constraints:     213020
2528.57/2548.07	c #Conflicts:     498000 | #Constraints:     214020
2528.57/2548.07	c #Conflicts:     499000 | #Constraints:     215020
2528.57/2548.07	c #Conflicts:     500000 | #Constraints:     216020
2528.57/2548.07	c #Conflicts:     501000 | #Constraints:     217020
2528.57/2548.07	c #Conflicts:     502000 | #Constraints:     218020
2528.57/2548.07	c #Conflicts:     503000 | #Constraints:     219020
2528.57/2548.07	c #Conflicts:     504000 | #Constraints:     220020
2528.57/2548.07	c #Conflicts:     505000 | #Constraints:     221020
2528.57/2548.07	c #Conflicts:     506000 | #Constraints:     222020
2528.57/2548.07	c #Conflicts:     507000 | #Constraints:     223020
2528.57/2548.07	c #Conflicts:     508000 | #Constraints:     224020
2528.57/2548.07	c #Conflicts:     509000 | #Constraints:     225020
2528.57/2548.07	c #Conflicts:     510000 | #Constraints:     226020
2528.57/2548.07	c #Conflicts:     511000 | #Constraints:     227020
2528.57/2548.07	c #Conflicts:     512000 | #Constraints:     228020
2528.57/2548.07	c #Conflicts:     513000 | #Constraints:     229020
2528.57/2548.07	c bounds -735 >= -877 @ 2508.95
2755.68/2775.89	c #Conflicts:     514000 | #Constraints:     230059
2755.68/2775.89	c #Conflicts:     515000 | #Constraints:     231059
2755.68/2775.89	c #Conflicts:     516000 | #Constraints:     232059
2755.68/2775.89	c #Conflicts:     517000 | #Constraints:     233059
2755.68/2775.89	c #Conflicts:     518000 | #Constraints:     234059
2755.68/2775.89	c #Conflicts:     519000 | #Constraints:     235059
2755.68/2775.89	c #Conflicts:     520000 | #Constraints:     236059
2755.68/2775.89	c #Conflicts:     521000 | #Constraints:     237059
2755.68/2775.89	c #Conflicts:     522000 | #Constraints:     238059
2755.68/2775.89	c #Conflicts:     523000 | #Constraints:     239059
2755.68/2775.89	c #Conflicts:     524000 | #Constraints:     240059
2755.68/2775.89	c INPROCESSING
2755.68/2775.89	c GARBAGE COLLECT
2755.68/2775.89	c rational objective -776.673
2908.16/2928.78	c #Conflicts:     525000 | #Constraints:     206433
2908.16/2928.78	c #Conflicts:     526000 | #Constraints:     207433
2908.16/2928.78	c #Conflicts:     527000 | #Constraints:     208433
2908.16/2928.78	c #Conflicts:     528000 | #Constraints:     209433
2908.16/2928.78	c #Conflicts:     529000 | #Constraints:     210433
2908.16/2928.78	c #Conflicts:     530000 | #Constraints:     211433
2908.16/2928.78	c #Conflicts:     531000 | #Constraints:     212433
2908.16/2928.78	c #Conflicts:     532000 | #Constraints:     213433
2908.16/2928.78	c #Conflicts:     533000 | #Constraints:     214433
2908.16/2928.78	c #Conflicts:     534000 | #Constraints:     215433
2908.16/2928.78	c #Conflicts:     535000 | #Constraints:     216433
2908.16/2928.78	c #Conflicts:     536000 | #Constraints:     217433
2908.16/2928.78	c #Conflicts:     537000 | #Constraints:     218433
2908.16/2928.78	c #Conflicts:     538000 | #Constraints:     219433
2908.16/2928.78	c #Conflicts:     539000 | #Constraints:     220433
2908.16/2928.78	c #Conflicts:     540000 | #Constraints:     221433
2908.16/2928.78	c #Conflicts:     541000 | #Constraints:     222433
2908.16/2928.78	c #Conflicts:     542000 | #Constraints:     223433
2908.16/2928.78	c INPROCESSING
2908.16/2928.78	c GARBAGE COLLECT
2908.16/2928.78	c #Conflicts:     543000 | #Constraints:     198410
2908.16/2928.78	c #Conflicts:     544000 | #Constraints:     199410
2908.16/2928.78	c #Conflicts:     545000 | #Constraints:     200410
2908.16/2928.78	c #Conflicts:     546000 | #Constraints:     201410
2908.16/2928.78	c #Conflicts:     547000 | #Constraints:     202410
2908.16/2928.78	c #Conflicts:     548000 | #Constraints:     203410
2908.16/2928.78	c #Conflicts:     549000 | #Constraints:     204410
2908.16/2928.78	c #Conflicts:     550000 | #Constraints:     205410
2908.16/2928.78	c #Conflicts:     551000 | #Constraints:     206410
2908.16/2928.78	c #Conflicts:     552000 | #Constraints:     207410
2908.16/2928.78	c bounds -735 >= -876 @ 2887.1
3100.17/3121.55	c #Conflicts:     553000 | #Constraints:     208479
3100.17/3121.55	c #Conflicts:     554000 | #Constraints:     209479
3100.17/3121.55	c #Conflicts:     555000 | #Constraints:     210479
3100.17/3121.55	c #Conflicts:     556000 | #Constraints:     211479
3100.17/3121.55	c #Conflicts:     557000 | #Constraints:     212479
3100.17/3121.55	c #Conflicts:     558000 | #Constraints:     213479
3100.17/3121.55	c #Conflicts:     559000 | #Constraints:     214479
3100.17/3121.55	c #Conflicts:     560000 | #Constraints:     215479
3100.17/3121.55	c INPROCESSING
3100.17/3121.55	c GARBAGE COLLECT
3100.17/3121.55	c #Conflicts:     561000 | #Constraints:     194486
3100.17/3121.55	c #Conflicts:     562000 | #Constraints:     195486
3100.17/3121.55	c #Conflicts:     563000 | #Constraints:     196486
3100.17/3121.55	c #Conflicts:     564000 | #Constraints:     197486
3100.17/3121.55	c #Conflicts:     565000 | #Constraints:     198486
3100.17/3121.55	c #Conflicts:     566000 | #Constraints:     199486
3100.17/3121.55	c #Conflicts:     567000 | #Constraints:     200486
3100.17/3121.55	c #Conflicts:     568000 | #Constraints:     201486
3100.17/3121.55	c #Conflicts:     569000 | #Constraints:     202486
3100.17/3121.55	c #Conflicts:     570000 | #Constraints:     203486
3100.17/3121.55	c #Conflicts:     571000 | #Constraints:     204486
3100.17/3121.55	c #Conflicts:     572000 | #Constraints:     205486
3100.17/3121.55	c #Conflicts:     573000 | #Constraints:     206486
3100.17/3121.55	c #Conflicts:     574000 | #Constraints:     207486
3100.17/3121.55	c #Conflicts:     575000 | #Constraints:     208486
3100.17/3121.55	c #Conflicts:     576000 | #Constraints:     209486
3100.17/3121.55	c #Conflicts:     577000 | #Constraints:     210486
3100.17/3121.55	c #Conflicts:     578000 | #Constraints:     211486
3100.17/3121.55	c INPROCESSING
3100.17/3121.55	c GARBAGE COLLECT
3100.17/3121.55	c rational objective -776.22
3294.59/3316.40	c #Conflicts:     579000 | #Constraints:     192454
3294.59/3316.40	c #Conflicts:     580000 | #Constraints:     193454
3294.59/3316.40	c #Conflicts:     581000 | #Constraints:     194454
3294.59/3316.40	c #Conflicts:     582000 | #Constraints:     195454
3294.59/3316.40	c #Conflicts:     583000 | #Constraints:     196454
3294.59/3316.40	c #Conflicts:     584000 | #Constraints:     197454
3294.59/3316.40	c #Conflicts:     585000 | #Constraints:     198454
3294.59/3316.40	c #Conflicts:     586000 | #Constraints:     199454
3294.59/3316.40	c #Conflicts:     587000 | #Constraints:     200454
3294.59/3316.40	c #Conflicts:     588000 | #Constraints:     201454
3294.59/3316.40	c #Conflicts:     589000 | #Constraints:     202454
3294.59/3316.40	c #Conflicts:     590000 | #Constraints:     203454
3294.59/3316.40	c #Conflicts:     591000 | #Constraints:     204454
3294.59/3316.40	c #Conflicts:     592000 | #Constraints:     205454
3294.59/3316.40	c #Conflicts:     593000 | #Constraints:     206454
3294.59/3316.40	c #Conflicts:     594000 | #Constraints:     207454
3294.59/3316.40	c #Conflicts:     595000 | #Constraints:     208454
3294.59/3316.40	c #Conflicts:     596000 | #Constraints:     209454
3294.59/3316.40	c #Conflicts:     597000 | #Constraints:     210454
3294.59/3316.40	c #Conflicts:     598000 | #Constraints:     211454
3294.59/3316.40	c #Conflicts:     599000 | #Constraints:     212454
3294.59/3316.40	c #Conflicts:     600000 | #Constraints:     213454
3294.59/3316.40	c #Conflicts:     601000 | #Constraints:     214454
3294.59/3316.40	c #Conflicts:     602000 | #Constraints:     215454
3294.59/3316.40	c #Conflicts:     603000 | #Constraints:     216454
3294.59/3316.40	c #Conflicts:     604000 | #Constraints:     217454
3294.59/3316.40	c #Conflicts:     605000 | #Constraints:     218454
3294.59/3316.40	c #Conflicts:     606000 | #Constraints:     219454
3294.59/3316.40	c #Conflicts:     607000 | #Constraints:     220454
3294.59/3316.40	c #Conflicts:     608000 | #Constraints:     221454
3294.59/3316.40	c #Conflicts:     609000 | #Constraints:     222454
3294.59/3316.40	c bounds -735 >= -875 @ 3271.77
3349.94/3371.94	c #Conflicts:     610000 | #Constraints:     223526
3349.94/3371.94	c #Conflicts:     611000 | #Constraints:     224526
3349.94/3371.94	c #Conflicts:     612000 | #Constraints:     225526
3349.94/3371.94	c #Conflicts:     613000 | #Constraints:     226526
3349.94/3371.94	c #Conflicts:     614000 | #Constraints:     227526
3349.94/3371.94	c #Conflicts:     615000 | #Constraints:     228526
3349.94/3371.94	c #Conflicts:     616000 | #Constraints:     229526
3349.94/3371.94	c #Conflicts:     617000 | #Constraints:     230526
3349.94/3371.94	c #Conflicts:     618000 | #Constraints:     231526
3349.94/3371.94	c #Conflicts:     619000 | #Constraints:     232526
3349.94/3371.94	c #Conflicts:     620000 | #Constraints:     233526
3349.94/3371.94	c #Conflicts:     621000 | #Constraints:     234526
3349.94/3371.94	c #Conflicts:     622000 | #Constraints:     235526
3349.94/3371.94	c #Conflicts:     623000 | #Constraints:     236526
3349.94/3371.94	c #Conflicts:     624000 | #Constraints:     237526
3349.94/3371.94	c #Conflicts:     625000 | #Constraints:     238526
3349.94/3371.94	c #Conflicts:     626000 | #Constraints:     239526
3349.94/3371.94	c #Conflicts:     627000 | #Constraints:     240526
3349.94/3371.94	c #Conflicts:     628000 | #Constraints:     241526
3349.94/3371.94	c #Conflicts:     629000 | #Constraints:     242526
3349.94/3371.94	c #Conflicts:     630000 | #Constraints:     243526
3349.94/3371.94	c #Conflicts:     631000 | #Constraints:     244526
3349.94/3371.94	c #Conflicts:     632000 | #Constraints:     245526
3349.94/3371.94	c #Conflicts:     633000 | #Constraints:     246526
3349.94/3371.94	c #Conflicts:     634000 | #Constraints:     247526
3349.94/3371.94	c INPROCESSING
3349.94/3371.94	c GARBAGE COLLECT
3349.94/3371.94	c #Conflicts:     635000 | #Constraints:     210406
3349.94/3371.94	c #Conflicts:     636000 | #Constraints:     211406
3349.94/3371.94	c #Conflicts:     637000 | #Constraints:     212406
3349.94/3371.94	c #Conflicts:     638000 | #Constraints:     213406
3349.94/3371.94	c #Conflicts:     639000 | #Constraints:     214406
3349.94/3371.94	c #Conflicts:     640000 | #Constraints:     215406
3349.94/3371.94	c #Conflicts:     641000 | #Constraints:     216406
3349.94/3371.94	c #Conflicts:     642000 | #Constraints:     217406
3349.94/3371.94	c #Conflicts:     643000 | #Constraints:     218406
3349.94/3371.94	c #Conflicts:     644000 | #Constraints:     219406
3349.94/3371.94	c #Conflicts:     645000 | #Constraints:     220406
3349.94/3371.94	c #Conflicts:     646000 | #Constraints:     221406
3349.94/3371.94	c #Conflicts:     647000 | #Constraints:     222406
3349.94/3371.94	c #Conflicts:     648000 | #Constraints:     223406
3349.94/3371.94	c #Conflicts:     649000 | #Constraints:     224406
3349.94/3371.94	c #Conflicts:     650000 | #Constraints:     225406
3349.94/3371.94	c #Conflicts:     651000 | #Constraints:     226406
3349.94/3371.94	c bounds -735 >= -874 @ 3326.49
3506.88/3529.23	c #Conflicts:     652000 | #Constraints:     227448
3506.88/3529.23	c #Conflicts:     653000 | #Constraints:     228448
3506.88/3529.23	c INPROCESSING
3506.88/3529.23	c GARBAGE COLLECT
3506.88/3529.23	c #Conflicts:     654000 | #Constraints:     200661
3506.88/3529.23	c #Conflicts:     655000 | #Constraints:     201661
3506.88/3529.23	c #Conflicts:     656000 | #Constraints:     202661
3506.88/3529.23	c #Conflicts:     657000 | #Constraints:     203661
3506.88/3529.23	c #Conflicts:     658000 | #Constraints:     204661
3506.88/3529.23	c #Conflicts:     659000 | #Constraints:     205661
3506.88/3529.23	c #Conflicts:     660000 | #Constraints:     206661
3506.88/3529.23	c #Conflicts:     661000 | #Constraints:     207661
3506.88/3529.23	c #Conflicts:     662000 | #Constraints:     208661
3506.88/3529.23	c #Conflicts:     663000 | #Constraints:     209661
3506.88/3529.23	c #Conflicts:     664000 | #Constraints:     210661
3506.88/3529.23	c #Conflicts:     665000 | #Constraints:     211661
3506.88/3529.23	c #Conflicts:     666000 | #Constraints:     212661
3506.88/3529.23	c #Conflicts:     667000 | #Constraints:     213661
3506.88/3529.23	c #Conflicts:     668000 | #Constraints:     214661
3506.88/3529.23	c #Conflicts:     669000 | #Constraints:     215661
3506.88/3529.23	c #Conflicts:     670000 | #Constraints:     216661
3506.88/3529.23	c #Conflicts:     671000 | #Constraints:     217661
3506.88/3529.23	c #Conflicts:     672000 | #Constraints:     218661
3506.88/3529.23	c #Conflicts:     673000 | #Constraints:     219661
3506.88/3529.23	c INPROCESSING
3506.88/3529.23	c GARBAGE COLLECT
3506.88/3529.23	c rational objective -776.21

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62844 MiB free)
  memory of node 1: 64507 MiB (63260 MiB free)
  node distances:
     10  21
     21  10

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

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=132637, runsolver pid=132628

[startup+0.100085 s]*
/proc/loadavg: 0.14 0.35 0.26 4/257 132650
/proc/meminfo: memFree=129040620/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132640] ppid=132637 vsize=51312 memory=41384 CPUtime=0.04 cores=5,7
/proc/132640/stat : 132640 (pbsuma) R 132637 132637 132577 0 -1 4194304 2413 0 0 0 2 2 0 0 20 0 1 0 174140025 52543488 10346 18446744073709551615 4210688 4653049 140724913486096 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 4947968 140724913490145 140724913490480 140724913490480 140724913496047 0
/proc/132640/statm: 12828 10346 992 108 0 10236 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 55504 KiB
Current children cumulated memory: 44328 KiB

[startup+0.214215 s]*
/proc/loadavg: 0.14 0.35 0.26 5/257 132650
/proc/meminfo: memFree=128922792/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132640] ppid=132637 vsize=58788 memory=50440 CPUtime=0.16 cores=5,7
/proc/132640/stat : 132640 (pbsuma) R 132637 132637 132577 0 -1 4194304 5160 0 0 0 13 3 0 0 20 0 1 0 174140025 60198912 12610 18446744073709551615 4210688 4653049 140724913486096 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 4947968 140724913490145 140724913490480 140724913490480 140724913496047 0
/proc/132640/statm: 14697 12610 992 108 0 12105 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 62980 KiB
Current children cumulated memory: 53384 KiB

[startup+0.314012 s]*
/proc/loadavg: 0.14 0.35 0.26 5/257 132650
/proc/meminfo: memFree=128877836/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132640] ppid=132637 vsize=88340 memory=71684 CPUtime=0.26 cores=5,7
/proc/132640/stat : 132640 (pbsuma) R 132637 132637 132577 0 -1 4194304 9847 0 0 0 20 6 0 0 20 0 1 0 174140025 90460160 17921 18446744073709551615 4210688 4653049 140724913486096 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 4947968 140724913490145 140724913490480 140724913490480 140724913496047 0
/proc/132640/statm: 22085 17921 1024 108 0 19493 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 92532 KiB
Current children cumulated memory: 74628 KiB

[startup+0.700525 s]
/proc/loadavg: 0.14 0.35 0.26 5/257 132650
/proc/meminfo: memFree=128656376/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132640] ppid=132637 vsize=174304 memory=135856 CPUtime=0.62 cores=5,7
/proc/132640/stat : 132640 (pbsuma) R 132637 132637 132577 0 -1 4194304 25206 0 0 0 50 12 0 0 20 0 1 0 174140025 178487296 33964 18446744073709551615 4210688 4653049 140724913486096 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 4947968 140724913490145 140724913490480 140724913490480 140724913496047 0
/proc/132640/statm: 43576 33964 1024 108 0 40984 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 178496 KiB
Current children cumulated memory: 138800 KiB

[startup+1.5003 s]
/proc/loadavg: 0.14 0.35 0.26 5/257 132650
/proc/meminfo: memFree=128259572/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132640] ppid=132637 vsize=235260 memory=170308 CPUtime=1.42 cores=5,7
/proc/132640/stat : 132640 (pbsuma) R 132637 132637 132577 0 -1 4194304 37181 0 0 0 126 16 0 0 20 0 1 0 174140025 240906240 42577 18446744073709551615 4210688 4653049 140724913486096 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 4947968 140724913490145 140724913490480 140724913490480 140724913496047 0
/proc/132640/statm: 58815 42577 1024 108 0 56223 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 239452 KiB
Current children cumulated memory: 173252 KiB

[startup+3.10835 s]
/proc/loadavg: 0.14 0.35 0.26 5/258 132655
/proc/meminfo: memFree=128722596/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=2.02 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=80016 memory=35308 CPUtime=0.69 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 5933 0 0 0 56 13 0 0 20 0 1 0 174140234 81936384 8827 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 20004 8827 1952 1147 0 7430 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 84208 KiB
Current children cumulated memory: 38252 KiB

[startup+6.3004 s]
/proc/loadavg: 0.45 0.41 0.28 5/258 132655
/proc/meminfo: memFree=127655208/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=2.02 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=367168 memory=268012 CPUtime=3.86 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 36018 0 0 0 342 44 0 0 20 0 1 0 174140234 375980032 67003 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 91792 67003 2400 1147 0 79218 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 371360 KiB
Current children cumulated memory: 270956 KiB

[startup+12.7004 s]
/proc/loadavg: 0.73 0.47 0.30 5/258 132655
/proc/meminfo: memFree=127405488/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=2.02 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=379472 memory=277080 CPUtime=10.25 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 37801 0 0 0 973 52 0 0 20 0 1 0 174140234 388579328 69270 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 94868 69270 2400 1147 0 82294 0
Current children cumulated CPU time: 12.27 s
Current children cumulated vsize: 383664 KiB
Current children cumulated memory: 280024 KiB

[startup+25.5004 s]
/proc/loadavg: 1.46 0.64 0.36 5/258 132655
/proc/meminfo: memFree=127026744/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=2.02 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=387700 memory=285784 CPUtime=23.02 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 40012 0 0 0 2238 64 0 0 20 0 1 0 174140234 397004800 71446 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 96925 71446 2400 1147 0 84351 0
Current children cumulated CPU time: 25.04 s
Current children cumulated vsize: 391892 KiB
Current children cumulated memory: 288728 KiB

[startup+51.1045 s]
/proc/loadavg: 2.38 0.93 0.46 5/259 132657
/proc/meminfo: memFree=126541112/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=2.02 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=430040 memory=320160 CPUtime=47.55 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 46073 0 0 0 4646 109 0 0 20 0 1 0 174140234 440360960 80040 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 107510 80040 2400 1147 0 94936 0
Current children cumulated CPU time: 49.57 s
Current children cumulated vsize: 434232 KiB
Current children cumulated memory: 323104 KiB

[startup+102.3 s]
/proc/loadavg: 3.35 1.42 0.66 5/258 132659
/proc/meminfo: memFree=123869876/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=2.02 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=561984 memory=434080 CPUtime=98.55 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 67489 0 0 0 9668 187 0 0 20 0 1 0 174140234 575471616 108520 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 140496 108520 2400 1147 0 127922 0
Current children cumulated CPU time: 100.57 s
Current children cumulated vsize: 566176 KiB
Current children cumulated memory: 437024 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 1.92 0.88 5/257 132661
/proc/meminfo: memFree=122369964/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=2.02 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=590072 memory=465408 CPUtime=158.37 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 73306 0 0 0 15587 250 0 0 20 0 1 0 174140234 604233728 116352 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 147518 116352 2400 1147 0 134944 0
Current children cumulated CPU time: 160.39 s
Current children cumulated vsize: 594264 KiB
Current children cumulated memory: 468352 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 2.36 1.10 5/259 132665
/proc/meminfo: memFree=120499912/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=2.02 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=624552 memory=486804 CPUtime=218.23 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 75592 0 0 0 21539 284 0 0 20 0 1 0 174140234 639541248 121701 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 156138 121701 2400 1147 0 143564 0

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

/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=1177932 memory=1054804 CPUtime=3198.69 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 134874 0 0 0 317812 2057 0 0 20 0 1 0 174140234 1206202368 263701 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 294483 263701 2400 1147 0 281909 0
Current children cumulated CPU time: 3200.71 s
Current children cumulated vsize: 1182124 KiB
Current children cumulated memory: 1057748 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.28 4.15 5/266 132932
/proc/meminfo: memFree=60413860/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=2.02 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=1177932 memory=1054932 CPUtime=3258.55 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 134901 0 0 0 323787 2068 0 0 20 0 1 0 174140234 1206202368 263733 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 294483 263733 2400 1147 0 281909 0
Current children cumulated CPU time: 3260.57 s
Current children cumulated vsize: 1182124 KiB
Current children cumulated memory: 1057876 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.26 4.15 5/266 132938
/proc/meminfo: memFree=58857192/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=2.02 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=1177932 memory=1054932 CPUtime=3318.4 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 135139 0 0 0 329728 2112 0 0 20 0 1 0 174140234 1206202368 263733 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 294483 263733 2400 1147 0 281909 0
Current children cumulated CPU time: 3320.42 s
Current children cumulated vsize: 1182124 KiB
Current children cumulated memory: 1057876 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.24 4.15 5/263 132940
/proc/meminfo: memFree=56200756/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=2.02 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=1177932 memory=1054932 CPUtime=3378.24 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 135154 0 0 0 335638 2186 0 0 20 0 1 0 174140234 1206202368 263733 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 294483 263733 2400 1147 0 281909 0
Current children cumulated CPU time: 3380.26 s
Current children cumulated vsize: 1182124 KiB
Current children cumulated memory: 1057876 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.22 4.15 5/258 132953
/proc/meminfo: memFree=54329216/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=2.02 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=1180604 memory=1057264 CPUtime=3438.09 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 135205 0 0 0 341609 2200 0 0 20 0 1 0 174140234 1208938496 264316 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 295151 264316 2400 1147 0 282577 0
Current children cumulated CPU time: 3440.11 s
Current children cumulated vsize: 1184796 KiB
Current children cumulated memory: 1060208 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.21 4.15 5/258 132955
/proc/meminfo: memFree=53051516/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=2.02 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=1180604 memory=1057264 CPUtime=3497.96 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 135218 0 0 0 347580 2216 0 0 20 0 1 0 174140234 1208938496 264316 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 295151 264316 2400 1147 0 282577 0
Current children cumulated CPU time: 3499.98 s
Current children cumulated vsize: 1184796 KiB
Current children cumulated memory: 1060208 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.20 4.15 5/258 132958
/proc/meminfo: memFree=50487132/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=2.02 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=1180604 memory=1057264 CPUtime=3557.82 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 135228 0 0 0 353532 2250 0 0 20 0 1 0 174140234 1208938496 264316 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 295151 264316 2400 1147 0 282577 0
Current children cumulated CPU time: 3559.84 s
Current children cumulated vsize: 1184796 KiB
Current children cumulated memory: 1060208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3622.6 s]
/proc/loadavg: 4.23 4.21 4.16 5/258 132960
/proc/meminfo: memFree=49815236/131382112 swapFree=33010416/33010684
[pid=132637] ppid=132628 vsize=4192 memory=2944 CPUtime=2.02 cores=5,7
/proc/132637/stat : 132637 (run-opt-break-l) S 132628 132637 132577 0 -1 4194304 243 37874 0 0 0 0 182 20 20 0 1 0 174140022 4292608 736 18446744073709551615 94827273973760 94827274868293 140726776509104 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94827275107344 94827275155088 94827283570688 140726776514835 140726776515036 140726776515036 140726776520640 0
/proc/132637/statm: 1048 736 672 219 0 110 0
[pid=132653] ppid=132637 vsize=1180604 memory=1057264 CPUtime=3598.03 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132637 132637 132577 0 -1 4194304 135329 0 0 0 357546 2257 0 0 20 0 1 0 174140234 1208938496 264316 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 295151 264316 2400 1147 0 282577 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1184796 KiB
Current children cumulated memory: 1060208 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3579.27 s, system=22.798 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+3624 s]*
/proc/loadavg: 4.21 4.20 4.15 5/257 132960
/proc/meminfo: memFree=49782584/131382112 swapFree=33010416/33010684
[pid=132653] ppid=132628 vsize=1180604 memory=1057264 CPUtime=3599.44 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132628 132637 132577 0 -1 4194304 135329 0 0 0 357686 2258 0 0 20 0 1 0 174140234 1208938496 264316 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 295151 264316 2400 1147 0 282577 0
Current cumulated CPU time of completed processes: 2.02781 s
Current children cumulated CPU time: 3599.44 s
Current children cumulated vsize: 1180604 KiB
Current children cumulated memory: 1057264 KiB

[startup+3624.4 s]
/proc/loadavg: 4.21 4.20 4.15 5/257 132960
/proc/meminfo: memFree=49782584/131382112 swapFree=33010416/33010684
[pid=132653] ppid=132628 vsize=1180604 memory=1057264 CPUtime=3599.82 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132628 132637 132577 0 -1 4194304 135329 0 0 0 357724 2258 0 0 20 0 1 0 174140234 1208938496 264316 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 295151 264316 2400 1147 0 282577 0
Current cumulated CPU time of completed processes: 2.02781 s
Current children cumulated CPU time: 3599.82 s
Current children cumulated vsize: 1180604 KiB
Current children cumulated memory: 1057264 KiB

[startup+3624.6 s]
/proc/loadavg: 4.21 4.20 4.15 5/257 132960
/proc/meminfo: memFree=49782584/131382112 swapFree=33010416/33010684
[pid=132653] ppid=132628 vsize=1180604 memory=1057264 CPUtime=3600.02 cores=5,7
/proc/132653/stat : 132653 (roundingsat) R 132628 132637 132577 0 -1 4194304 135329 0 0 0 357744 2258 0 0 20 0 1 0 174140234 1208938496 264316 18446744073709551615 4227072 8923577 140733427116832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 30945280 140733427124498 140733427124774 140733427124774 140733427130346 0
/proc/132653/statm: 295151 264316 2400 1147 0 282577 0
Current cumulated CPU time of completed processes: 2.02781 s
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1180604 KiB
Current children cumulated memory: 1057264 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3624.61
CPU time (s): 3602.07
CPU user time (s): 3579.27
CPU system time (s): 22.798
CPU usage (%): 99.378
Max. virtual memory (cumulated for all children) (KiB): 1184796
Max. memory (cumulated for all children) (KiB): 1060208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.27
system time used= 22.798
maximum resident set size= 1057264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173446
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25463336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1187
involuntary context switches= 6141


# summary of solver processes directly reported to runsolver:
#   pid: 132637,132653
#   total CPU time (s): 3602.07
#   total CPU user time (s): 3579.27
#   total CPU system time (s): 22.798

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3148 second user time and 35.7587 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-15 15:03:23
IDJOB=4532280
IDBENCH=145528
IDSOLVER=3393
FILE ID=nodeC012/4532280-1752584603
RUNJOBID= nodeC012-1752584602-132590
SLURM_JOB_ID= 9684342
Free space on /tmp= 432448 MiB

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

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

MD5SUM BENCH= dbf55fafe8c36fc4d34bf230f66c30bf
RANDOM SEED=1057340159

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129137340 kB
MemAvailable:   129951244 kB
Buffers:            2136 kB
Cached:          1610024 kB
SwapCached:           16 kB
Active:           691588 kB
Inactive:         986204 kB
Active(anon):      78628 kB
Inactive(anon):     4948 kB
Active(file):     612960 kB
Inactive(file):   981256 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             48344 kB
Writeback:             0 kB
AnonPages:         68752 kB
Mapped:           106652 kB
Shmem:             17944 kB
KReclaimable:     118244 kB
Slab:             213432 kB
SReclaimable:     118244 kB
SUnreclaim:        95188 kB
KernelStack:        3904 kB
PageTables:         2880 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     332332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432356 MiB
End job on nodeC012 at 2025-07-15 16:03:48