Trace number 4483898

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 63f22ad? (TO) 3602.05 3610.8

General information on the benchmark

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

Solver Data 

0.00/0.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4483898-1751280593.opb'
0.07/0.11	c 	read 5.37MB  (95.58ms)
0.07/0.11	c	 [cnf: #variables 81322 #clauses 161484 #duplicates 0 #arr 423871]
0.07/0.11	c 
0.07/0.11	c make graph and approximate orbits
0.18/0.23	c	 [group: #orbits ~= 24738] (120.33ms)
0.18/0.23	c 
0.18/0.23	c detect special group actions
0.18/0.23	c 	probe for Johnson action (limit=64)
0.18/0.23	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.18/0.26	c 	probe for row symmetry (limit=64, splits=16.78M)
0.18/0.27	c 	 (30.29ms)
0.18/0.27	c 
0.18/0.27	c detect symmetries on remainder
0.18/0.27	c 	[graph: #vertices 490770 #edges 1343670]
0.18/0.27	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.38/0.44	c 	 [group: #symmetries 7.67*10^73 #generators 166] (170.31ms)
0.38/0.44	c 
0.38/0.44	c optimize generators (opt_passes=64, conjugate_limit=256)
0.38/0.44	c 	ran it=0, +gens=1 
0.86/0.97	c 	con best_support=532, best_gens=166, +gens=49
0.86/0.97	c 	(532.82ms)
0.86/0.97	c 
0.86/0.97	c finalize break order and special generators
0.86/0.97	c 
0.86/0.97	c add generic predicates (break_depth=20)
0.86/0.98	c 	added predicates for 216 generators (2.92ms)
0.86/0.98	c 
0.86/0.98	c generation finished
0.86/0.98	c 	[sbp: #constraints 12528 #add_vars 4104]
0.86/0.98	c 
0.86/0.98	c write result to 'HOME/instance-4483898-1751280593.opb.pre'
0.86/0.99	c 	wrote 5.97MB (13.04ms)
0.86/0.99	c ------------------------------------------------------------------
0.86/0.99	c                 532.82ms 54.76% optimize_gens
0.86/0.99	c                 170.31ms 17.50% detect_generic
0.86/0.99	c                 120.33ms 12.37% approx_orbits
0.86/0.99	c                  95.58ms  9.82% parse
0.86/0.99	c                  30.29ms  3.11% detect_special
0.86/0.99	c                  13.04ms  1.34% output
0.86/0.99	c                   4.36ms  0.45% finalize_order
0.86/0.99	c                   3.39ms  0.35% other
0.86/0.99	c                   2.92ms  0.30% break_generic
0.86/0.99	c         ───────────────────────────────────────────────
0.86/0.99	c                 973.04ms   100% total
0.86/0.99	c ------------------------------------------------------------------
0.96/1.03	c RoundingSat 2
0.96/1.03	c branch pb25
0.96/1.03	c commit 63f22ad
0.99/1.73	c #variables 85426 #constraints 174010
0.99/1.73	c objective is ce32 
0.99/1.73	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.99/1.73	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.99/1.73	c bounds - >= -1251 @ 0.516875
2.34/2.40	c bounds 0 >= -1251 @ 1.13695
2.44/2.50	c bounds -256 >= -1251 @ 1.23121
3.14/3.23	c bounds -264 >= -1251 @ 1.94779
4.44/4.53	c bounds -265 >= -1251 @ 3.23553
7.43/7.51	c bounds -267 >= -1251 @ 6.18344
15.21/15.31	c bounds -268 >= -1251 @ 13.88
31.77/31.99	c rational objective -809.4
32.86/33.00	c bounds -269 >= -1251 @ 31.3174
32.86/33.02	c bounds -271 >= -1251 @ 31.3358
32.86/33.04	c bounds -272 >= -1251 @ 31.3544
32.86/33.06	c bounds -273 >= -1251 @ 31.3726
33.65/33.89	c #Conflicts:       1000 | #Constraints:     175020
33.65/33.89	c bounds -464 >= -1251 @ 32.1951
33.75/33.91	c bounds -468 >= -1251 @ 32.2136
33.75/33.93	c bounds -470 >= -1251 @ 32.2312
33.75/33.95	c bounds -472 >= -1251 @ 32.2499
33.75/33.97	c bounds -473 >= -1251 @ 32.2681
33.75/33.99	c bounds -481 >= -1251 @ 32.2864
33.86/34.01	c bounds -482 >= -1251 @ 32.3041
33.86/34.03	c bounds -483 >= -1251 @ 32.3229
33.86/34.04	c bounds -487 >= -1251 @ 32.3409
33.86/34.06	c bounds -488 >= -1251 @ 32.3589
33.86/34.08	c bounds -489 >= -1251 @ 32.3778
33.86/34.10	c bounds -490 >= -1251 @ 32.3939
33.96/34.12	c bounds -492 >= -1251 @ 32.4115
33.96/34.13	c bounds -493 >= -1251 @ 32.4289
33.96/34.15	c bounds -494 >= -1251 @ 32.4473
33.96/34.17	c bounds -498 >= -1251 @ 32.4663
33.96/34.19	c bounds -500 >= -1251 @ 32.4838
34.05/34.21	c bounds -501 >= -1251 @ 32.5028
34.05/34.23	c bounds -502 >= -1251 @ 32.5219
34.05/34.25	c bounds -503 >= -1251 @ 32.54
34.05/34.27	c bounds -505 >= -1251 @ 32.5577
34.05/34.29	c bounds -506 >= -1251 @ 32.5754
34.15/34.31	c bounds -507 >= -1251 @ 32.5943
34.15/34.32	c bounds -509 >= -1251 @ 32.6125
34.15/34.34	c bounds -513 >= -1251 @ 32.6318
34.15/34.36	c bounds -521 >= -1251 @ 32.6513
34.15/34.38	c bounds -522 >= -1251 @ 32.6697
34.26/34.40	c bounds -523 >= -1251 @ 32.689
34.26/34.42	c bounds -524 >= -1251 @ 32.71
34.26/34.49	c bounds -525 >= -1251 @ 32.7727
34.36/34.51	c bounds -527 >= -1251 @ 32.792
44.22/44.48	c #Conflicts:       2000 | #Constraints:     176051
44.22/44.48	c INPROCESSING
44.22/44.48	c GARBAGE COLLECT
44.22/44.48	c bounds -528 >= -1251 @ 42.5513
45.52/45.76	c #Conflicts:       3000 | #Constraints:     172020
45.52/45.76	c #Conflicts:       4000 | #Constraints:     173020
45.52/45.76	c INPROCESSING
45.52/45.76	c GARBAGE COLLECT
45.52/45.76	c bounds -529 >= -1251 @ 43.8182
45.52/45.78	c bounds -530 >= -1251 @ 43.8354
45.63/45.80	c bounds -532 >= -1251 @ 43.859
46.52/46.73	c bounds -533 >= -1251 @ 44.772
46.52/46.75	c bounds -535 >= -1251 @ 44.7979
47.92/48.16	c bounds -536 >= -1251 @ 46.1916
47.92/48.16	c bounds -536 >= -1183 @ 46.1976
47.92/48.18	c bounds -536 >= -1179 @ 46.2129
49.81/50.09	c #Conflicts:       5000 | #Constraints:     172360
49.81/50.09	c bounds -536 >= -1175 @ 48.0797
49.91/50.12	c bounds -537 >= -1175 @ 48.1019
49.91/50.14	c bounds -539 >= -1175 @ 48.1222
49.91/50.16	c bounds -540 >= -1175 @ 48.1467
50.91/51.14	c #Conflicts:       6000 | #Constraints:     173372
50.91/51.14	c bounds -541 >= -1175 @ 49.1006
53.00/53.20	c INPROCESSING
53.00/53.20	c GARBAGE COLLECT
53.00/53.20	c bounds -542 >= -1175 @ 51.1172
55.09/55.38	c #Conflicts:       7000 | #Constraints:     172275
55.09/55.38	c bounds -543 >= -1175 @ 53.2928
55.09/55.38	c bounds -543 >= -1173 @ 53.293
55.09/55.38	c bounds -543 >= -1171 @ 53.293
55.09/55.38	c bounds -543 >= -1163 @ 53.2934
55.09/55.39	c bounds -543 >= -1161 @ 53.298
55.19/55.40	c bounds -543 >= -1159 @ 53.3128
55.19/55.41	c bounds -543 >= -1157 @ 53.3183
55.19/55.42	c bounds -543 >= -1155 @ 53.3263
55.19/55.43	c bounds -543 >= -1153 @ 53.338
55.19/55.43	c bounds -543 >= -1151 @ 53.3423
55.19/55.44	c bounds -543 >= -1149 @ 53.3466
55.19/55.44	c bounds -543 >= -1147 @ 53.3486
55.19/55.45	c bounds -543 >= -1145 @ 53.3553
55.19/55.45	c bounds -543 >= -1143 @ 53.3561
55.19/55.45	c bounds -543 >= -1141 @ 53.3641
55.19/55.46	c bounds -543 >= -1139 @ 53.3687
55.19/55.48	c bounds -543 >= -1137 @ 53.3898
55.29/55.56	c bounds -543 >= -1135 @ 53.4655
55.40/55.62	c bounds -543 >= -1133 @ 53.5267
55.50/55.70	c #Conflicts:       8000 | #Constraints:     173455
55.50/55.70	c bounds -543 >= -1131 @ 53.6043
55.59/55.82	c bounds -543 >= -1129 @ 53.7201
55.59/55.88	c bounds -543 >= -1127 @ 53.7825
55.69/55.92	c #Conflicts:       9000 | #Constraints:     174533
55.69/55.92	c bounds -543 >= -1125 @ 53.8206
55.80/56.08	c INPROCESSING
55.80/56.08	c GARBAGE COLLECT
55.80/56.08	c bounds -543 >= -1123 @ 53.9781
55.90/56.17	c #Conflicts:      10000 | #Constraints:     173179
55.90/56.17	c bounds -543 >= -1121 @ 54.0657
55.99/56.24	c bounds -543 >= -1119 @ 54.131
56.09/56.31	c #Conflicts:      11000 | #Constraints:     174230
56.09/56.31	c bounds -543 >= -1117 @ 54.2012
56.29/56.57	c #Conflicts:      12000 | #Constraints:     175245
56.29/56.57	c INPROCESSING
56.29/56.57	c bounds -543 >= -1115 @ 54.4537
56.39/56.64	c bounds -543 >= -1113 @ 54.5293
57.68/57.98	c #Conflicts:      13000 | #Constraints:     173678
57.68/57.98	c bounds -546 >= -1113 @ 55.8489
57.80/58.07	c #Conflicts:      14000 | #Constraints:     174679
57.80/58.07	c bounds -546 >= -1111 @ 55.9375
57.89/58.12	c bounds -546 >= -1109 @ 55.9877
57.89/58.15	c bounds -546 >= -1107 @ 56.0176
57.99/58.23	c bounds -546 >= -1105 @ 56.0919
58.19/58.44	c #Conflicts:      15000 | #Constraints:     175769
58.19/58.44	c INPROCESSING
58.19/58.44	c GARBAGE COLLECT
58.19/58.44	c bounds -546 >= -1103 @ 56.3105
58.38/58.63	c #Conflicts:      16000 | #Constraints:     173965
58.38/58.63	c bounds -546 >= -1101 @ 56.4919
58.48/58.71	c bounds -546 >= -1099 @ 56.5669
58.48/58.74	c bounds -546 >= -1097 @ 56.604
58.48/58.76	c bounds -546 >= -1095 @ 56.6263
58.58/58.84	c #Conflicts:      17000 | #Constraints:     175073
58.58/58.84	c bounds -546 >= -1093 @ 56.7043
58.68/58.93	c bounds -546 >= -1091 @ 56.7934
59.09/59.39	c bounds -547 >= -1091 @ 57.2393
59.19/59.45	c bounds -547 >= -1089 @ 57.2997
59.19/59.48	c #Conflicts:      18000 | #Constraints:     176131
59.19/59.48	c bounds -547 >= -1087 @ 57.3371
59.68/59.94	c INPROCESSING
59.68/59.94	c GARBAGE COLLECT
59.68/59.94	c bounds -547 >= -1085 @ 57.7702
60.18/60.45	c #Conflicts:      19000 | #Constraints:     174094
60.18/60.45	c bounds -548 >= -1085 @ 58.2712
60.28/60.53	c bounds -548 >= -1083 @ 58.3586
60.38/60.60	c bounds -548 >= -1081 @ 58.425
61.48/61.70	c #Conflicts:      20000 | #Constraints:     175137
61.48/61.70	c bounds -549 >= -1081 @ 59.5052
61.58/61.88	c bounds -549 >= -1079 @ 59.6884
61.68/61.94	c bounds -549 >= -1077 @ 59.7447
61.68/61.99	c bounds -549 >= -1075 @ 59.7946
61.78/62.08	c #Conflicts:      21000 | #Constraints:     176234
61.78/62.08	c bounds -549 >= -1073 @ 59.8786
61.97/62.27	c INPROCESSING
61.97/62.27	c GARBAGE COLLECT
61.97/62.27	c bounds -549 >= -1071 @ 60.0718
62.18/62.41	c #Conflicts:      22000 | #Constraints:     173972
62.18/62.41	c bounds -549 >= -1069 @ 60.2055
62.37/62.64	c #Conflicts:      23000 | #Constraints:     175023
62.37/62.64	c bounds -549 >= -1067 @ 60.4269
62.37/62.67	c bounds -554 >= -1067 @ 60.4574
62.97/63.22	c #Conflicts:      24000 | #Constraints:     176069
62.97/63.22	c bounds -557 >= -1067 @ 60.9992
64.17/64.44	c #Conflicts:      25000 | #Constraints:     177070
64.17/64.44	c INPROCESSING
64.17/64.44	c GARBAGE COLLECT
64.17/64.44	c bounds -558 >= -1067 @ 62.2053
64.17/64.44	c bounds -558 >= -1066 @ 62.208
64.17/64.44	c bounds -558 >= -1065 @ 62.2107
64.17/64.44	c bounds -558 >= -1061 @ 62.2127
64.17/64.45	c bounds -558 >= -1060 @ 62.2178
64.17/64.46	c bounds -558 >= -1059 @ 62.2251
64.27/64.51	c bounds -558 >= -1058 @ 62.2761
64.37/64.60	c bounds -558 >= -1057 @ 62.3705
64.37/64.66	c #Conflicts:      26000 | #Constraints:     174700
64.37/64.66	c bounds -558 >= -1056 @ 62.4289
64.37/64.69	c bounds -558 >= -1055 @ 62.4525
64.47/64.74	c bounds -558 >= -1054 @ 62.5055
64.56/64.80	c bounds -558 >= -1053 @ 62.5639
64.66/64.93	c bounds -558 >= -1052 @ 62.6925
64.77/65.04	c bounds -558 >= -1051 @ 62.7983
64.87/65.15	c #Conflicts:      27000 | #Constraints:     175832
64.87/65.15	c bounds -558 >= -1050 @ 62.9075
66.56/66.88	c bounds -559 >= -1050 @ 64.6219
66.67/66.91	c bounds -559 >= -1049 @ 64.6565
66.67/66.92	c bounds -559 >= -1048 @ 64.6609
66.67/66.92	c bounds -559 >= -1047 @ 64.6635
66.67/66.93	c bounds -559 >= -1046 @ 64.6765
66.67/66.94	c bounds -559 >= -1045 @ 64.6862
66.67/66.95	c bounds -559 >= -1044 @ 64.6961
66.67/66.96	c bounds -559 >= -1043 @ 64.7012
66.67/66.97	c bounds -559 >= -1042 @ 64.7136
66.67/67.00	c #Conflicts:      28000 | #Constraints:     176970
66.67/67.00	c bounds -559 >= -1041 @ 64.7416
66.77/67.07	c bounds -559 >= -1040 @ 64.816
66.87/67.16	c bounds -559 >= -1039 @ 64.9007
67.06/67.32	c bounds -559 >= -1038 @ 65.0646
67.06/67.36	c bounds -559 >= -1037 @ 65.1044
67.16/67.45	c #Conflicts:      29000 | #Constraints:     178109
67.16/67.45	c INPROCESSING
67.16/67.45	c GARBAGE COLLECT
67.16/67.45	c bounds -559 >= -1036 @ 65.191
67.16/67.48	c bounds -559 >= -1035 @ 65.2167
67.36/67.62	c bounds -559 >= -1034 @ 65.3526
67.46/67.74	c #Conflicts:      30000 | #Constraints:     175244
67.46/67.74	c bounds -559 >= -1033 @ 65.4695
67.76/68.08	c #Conflicts:      31000 | #Constraints:     176280
67.76/68.08	c bounds -559 >= -1032 @ 65.8059
68.06/68.35	c #Conflicts:      32000 | #Constraints:     177313
68.06/68.35	c bounds -559 >= -1031 @ 66.0716
68.35/68.60	c #Conflicts:      33000 | #Constraints:     178361
68.35/68.60	c bounds -559 >= -1030 @ 66.3094
68.56/68.85	c #Conflicts:      34000 | #Constraints:     179397
68.56/68.85	c bounds -559 >= -1029 @ 66.5643
70.15/70.49	c #Conflicts:      35000 | #Constraints:     180427
70.15/70.49	c bounds -560 >= -1029 @ 68.1632
144.85/145.32	c #Conflicts:      36000 | #Constraints:     181428
144.85/145.32	c bounds -560 >= -1028 @ 142.512
145.05/145.53	c #Conflicts:      37000 | #Constraints:     182458
145.05/145.53	c bounds -560 >= -1027 @ 142.724
145.74/146.23	c bounds -564 >= -1027 @ 143.421
146.55/147.07	c #Conflicts:      38000 | #Constraints:     183492
146.55/147.07	c #Conflicts:      39000 | #Constraints:     184492
146.55/147.07	c bounds -564 >= -1026 @ 144.252
146.65/147.10	c bounds -566 >= -1026 @ 144.28
147.94/148.44	c bounds -567 >= -1026 @ 145.604
148.33/148.84	c #Conflicts:      40000 | #Constraints:     185524
148.33/148.84	c bounds -568 >= -1026 @ 146.004
149.74/150.29	c #Conflicts:      41000 | #Constraints:     186525
149.74/150.29	c #Conflicts:      42000 | #Constraints:     187525
149.74/150.29	c INPROCESSING
149.74/150.29	c GARBAGE COLLECT
149.74/150.29	c bounds -569 >= -1026 @ 147.429
153.22/153.73	c #Conflicts:      43000 | #Constraints:     179581
153.22/153.73	c #Conflicts:      44000 | #Constraints:     180581
153.22/153.73	c bounds -570 >= -1026 @ 150.85
153.82/154.33	c #Conflicts:      45000 | #Constraints:     181582
153.82/154.33	c bounds -570 >= -1025 @ 151.45
154.53/155.02	c #Conflicts:      46000 | #Constraints:     182642
154.53/155.02	c #Conflicts:      47000 | #Constraints:     183642
154.53/155.02	c bounds -570 >= -1024 @ 152.125
154.62/155.17	c bounds -571 >= -1024 @ 152.273
154.82/155.30	c #Conflicts:      48000 | #Constraints:     184676
154.82/155.30	c INPROCESSING
154.82/155.30	c GARBAGE COLLECT
154.82/155.30	c bounds -571 >= -1023 @ 152.408
154.82/155.33	c bounds -571 >= -1022 @ 152.435
154.82/155.39	c bounds -571 >= -1021 @ 152.492
154.91/155.47	c bounds -571 >= -1020 @ 152.572
155.01/155.57	c bounds -571 >= -1019 @ 152.667
155.41/155.96	c bounds -572 >= -1019 @ 153.059
155.62/156.10	c #Conflicts:      49000 | #Constraints:     178759
155.62/156.10	c bounds -572 >= -1018 @ 153.203
155.62/156.13	c bounds -572 >= -1017 @ 153.226
155.62/156.14	c bounds -572 >= -1016 @ 153.237
155.62/156.16	c bounds -572 >= -1015 @ 153.256
155.62/156.18	c bounds -572 >= -1014 @ 153.279
155.71/156.20	c bounds -572 >= -1013 @ 153.303
155.71/156.25	c bounds -572 >= -1012 @ 153.346
156.31/156.80	c bounds -574 >= -1012 @ 153.892
156.41/156.95	c bounds -574 >= -1011 @ 154.043
156.41/157.00	c #Conflicts:      50000 | #Constraints:     179940
156.41/157.00	c bounds -574 >= -1010 @ 154.09
156.52/157.09	c bounds -574 >= -1009 @ 154.182
156.71/157.20	c bounds -574 >= -1008 @ 154.29
156.71/157.27	c bounds -574 >= -1007 @ 154.362
157.70/158.25	c bounds -576 >= -1007 @ 155.316
157.90/158.49	c #Conflicts:      51000 | #Constraints:     181043
157.90/158.49	c bounds -576 >= -1006 @ 155.553
158.10/158.64	c bounds -576 >= -1005 @ 155.7
161.90/162.46	c #Conflicts:      52000 | #Constraints:     182106
161.90/162.46	c bounds -580 >= -1005 @ 159.495
162.50/163.02	c #Conflicts:      53000 | #Constraints:     183107
162.50/163.02	c INPROCESSING
162.50/163.02	c GARBAGE COLLECT
162.50/163.02	c bounds -580 >= -1004 @ 160.052
162.79/163.36	c #Conflicts:      54000 | #Constraints:     177778
162.79/163.36	c bounds -580 >= -1003 @ 160.386
163.49/164.01	c #Conflicts:      55000 | #Constraints:     178835
163.49/164.01	c #Conflicts:      56000 | #Constraints:     179835
163.49/164.01	c bounds -580 >= -1002 @ 161.027
164.49/165.04	c #Conflicts:      57000 | #Constraints:     180874
164.49/165.04	c #Conflicts:      58000 | #Constraints:     181874
164.49/165.04	c #Conflicts:      59000 | #Constraints:     182874
164.49/165.04	c bounds -580 >= -1001 @ 162.042
165.59/166.19	c #Conflicts:      60000 | #Constraints:     183901
165.59/166.19	c #Conflicts:      61000 | #Constraints:     184901
165.59/166.19	c #Conflicts:      62000 | #Constraints:     185901
165.59/166.19	c bounds -580 >= -1000 @ 163.183
171.17/171.78	c #Conflicts:      63000 | #Constraints:     186967
171.17/171.78	c #Conflicts:      64000 | #Constraints:     187967
171.17/171.78	c bounds -584 >= -1000 @ 168.739
171.57/172.15	c bounds -584 >= -999 @ 169.107
171.86/172.46	c #Conflicts:      65000 | #Constraints:     188983
171.86/172.46	c bounds -584 >= -998 @ 169.414
172.26/172.83	c #Conflicts:      66000 | #Constraints:     190016
172.26/172.83	c bounds -584 >= -997 @ 169.777
172.57/173.14	c bounds -584 >= -996 @ 170.091
173.16/173.72	c #Conflicts:      67000 | #Constraints:     191073
173.16/173.72	c bounds -584 >= -995 @ 170.655
173.96/174.51	c #Conflicts:      68000 | #Constraints:     192121
173.96/174.51	c #Conflicts:      69000 | #Constraints:     193121
173.96/174.51	c bounds -584 >= -994 @ 171.441
177.85/178.48	c #Conflicts:      70000 | #Constraints:     194166
177.85/178.48	c #Conflicts:      71000 | #Constraints:     195166
177.85/178.48	c INPROCESSING
177.85/178.48	c GARBAGE COLLECT
177.85/178.48	c #Conflicts:      72000 | #Constraints:     183814
177.85/178.48	c bounds -588 >= -994 @ 175.378
177.95/178.51	c bounds -588 >= -993 @ 175.409
178.05/178.62	c bounds -588 >= -992 @ 175.514
178.05/178.65	c bounds -588 >= -991 @ 175.544
178.15/178.71	c bounds -588 >= -990 @ 175.61
178.35/178.95	c #Conflicts:      73000 | #Constraints:     184902
178.35/178.95	c bounds -588 >= -989 @ 175.839
178.65/179.25	c #Conflicts:      74000 | #Constraints:     185944
178.65/179.25	c bounds -588 >= -988 @ 176.136
179.45/180.02	c #Conflicts:      75000 | #Constraints:     186986
179.45/180.02	c bounds -588 >= -987 @ 176.901
180.24/180.84	c bounds -589 >= -987 @ 177.717
180.34/180.93	c bounds -590 >= -987 @ 177.806
236.57/237.33	c #Conflicts:      76000 | #Constraints:     188033
236.57/237.33	c #Conflicts:      77000 | #Constraints:     189033
236.57/237.33	c bounds -590 >= -986 @ 233.813
253.13/253.99	c #Conflicts:      78000 | #Constraints:     190093
253.13/253.99	c INPROCESSING
253.13/253.99	c GARBAGE COLLECT
253.13/253.99	c #Conflicts:      79000 | #Constraints:     181710
253.13/253.99	c #Conflicts:      80000 | #Constraints:     182710
253.13/253.99	c #Conflicts:      81000 | #Constraints:     183710
253.13/253.99	c bounds -591 >= -986 @ 250.377
255.12/255.99	c #Conflicts:      82000 | #Constraints:     184711
255.12/255.99	c #Conflicts:      83000 | #Constraints:     185711
255.12/255.99	c #Conflicts:      84000 | #Constraints:     186711
255.12/255.99	c bounds -591 >= -985 @ 252.359
256.42/257.25	c INPROCESSING
256.42/257.25	c GARBAGE COLLECT
256.42/257.25	c #Conflicts:      85000 | #Constraints:     179559
256.42/257.25	c #Conflicts:      86000 | #Constraints:     180559
256.42/257.25	c #Conflicts:      87000 | #Constraints:     181559
256.42/257.25	c bounds -591 >= -984 @ 253.609
257.32/258.10	c #Conflicts:      88000 | #Constraints:     182634
257.32/258.10	c #Conflicts:      89000 | #Constraints:     183634
257.32/258.10	c bounds -591 >= -983 @ 254.446
258.22/259.05	c #Conflicts:      90000 | #Constraints:     184700
258.22/259.05	c #Conflicts:      91000 | #Constraints:     185700
258.22/259.05	c #Conflicts:      92000 | #Constraints:     186700
258.22/259.05	c bounds -591 >= -982 @ 255.386
259.71/260.54	c #Conflicts:      93000 | #Constraints:     187730
259.71/260.54	c #Conflicts:      94000 | #Constraints:     188730
259.71/260.54	c #Conflicts:      95000 | #Constraints:     189730
259.71/260.54	c bounds -591 >= -981 @ 256.857
261.00/261.83	c #Conflicts:      96000 | #Constraints:     190766
261.00/261.83	c #Conflicts:      97000 | #Constraints:     191766
261.00/261.83	c bounds -591 >= -980 @ 258.136
262.59/263.46	c #Conflicts:      98000 | #Constraints:     192808
262.59/263.46	c #Conflicts:      99000 | #Constraints:     193808
262.59/263.46	c #Conflicts:     100000 | #Constraints:     194808
262.59/263.46	c bounds -591 >= -979 @ 259.748
264.59/265.49	c #Conflicts:     101000 | #Constraints:     195856
264.59/265.49	c #Conflicts:     102000 | #Constraints:     196856
264.59/265.49	c #Conflicts:     103000 | #Constraints:     197856
264.59/265.49	c bounds -591 >= -978 @ 261.761
266.88/267.71	c #Conflicts:     104000 | #Constraints:     198877
266.88/267.71	c #Conflicts:     105000 | #Constraints:     199877
266.88/267.71	c #Conflicts:     106000 | #Constraints:     200877
266.88/267.71	c bounds -591 >= -977 @ 263.961
268.88/269.71	c #Conflicts:     107000 | #Constraints:     201907
268.88/269.71	c INPROCESSING
268.88/269.71	c GARBAGE COLLECT
268.88/269.71	c #Conflicts:     108000 | #Constraints:     187586
268.88/269.71	c #Conflicts:     109000 | #Constraints:     188586
268.88/269.71	c bounds -591 >= -976 @ 265.95
270.48/271.33	c #Conflicts:     110000 | #Constraints:     189631
270.48/271.33	c bounds -593 >= -976 @ 267.552
271.18/272.09	c #Conflicts:     111000 | #Constraints:     190632
271.18/272.09	c bounds -593 >= -975 @ 268.305
271.28/272.11	c bounds -595 >= -975 @ 268.329
271.28/272.19	c bounds -596 >= -975 @ 268.401
271.37/272.27	c bounds -597 >= -975 @ 268.486
271.47/272.30	c bounds -599 >= -975 @ 268.509
271.57/272.41	c bounds -600 >= -975 @ 268.617
271.57/272.44	c bounds -601 >= -975 @ 268.646
271.57/272.46	c bounds -602 >= -975 @ 268.671
272.28/273.18	c bounds -604 >= -975 @ 269.386
272.87/273.76	c #Conflicts:     112000 | #Constraints:     191673
272.87/273.76	c bounds -604 >= -974 @ 269.956
273.07/273.91	c bounds -605 >= -974 @ 270.104
273.17/274.08	c bounds -606 >= -974 @ 270.273
273.77/274.61	c #Conflicts:     113000 | #Constraints:     192705
273.77/274.61	c bounds -606 >= -973 @ 270.799
275.86/276.71	c #Conflicts:     114000 | #Constraints:     193744
275.86/276.71	c bounds -608 >= -973 @ 272.884
276.27/277.17	c bounds -608 >= -972 @ 273.344
360.93/362.09	c #Conflicts:     115000 | #Constraints:     194772
360.93/362.09	c INPROCESSING
360.93/362.09	c GARBAGE COLLECT
360.93/362.09	c rational objective -785.769
362.22/363.37	c bounds -608 >= -971 @ 358.989
367.11/368.20	c #Conflicts:     116000 | #Constraints:     184072
367.11/368.20	c #Conflicts:     117000 | #Constraints:     185072
367.11/368.20	c bounds -610 >= -971 @ 363.786
368.80/369.90	c #Conflicts:     118000 | #Constraints:     186073
368.80/369.90	c #Conflicts:     119000 | #Constraints:     187073
368.80/369.90	c bounds -610 >= -970 @ 365.473
369.10/370.21	c #Conflicts:     120000 | #Constraints:     188121
369.10/370.21	c bounds -610 >= -969 @ 365.78
369.50/370.60	c bounds -610 >= -968 @ 366.161
369.91/371.03	c #Conflicts:     121000 | #Constraints:     189187
369.91/371.03	c bounds -610 >= -967 @ 366.588
370.40/371.50	c #Conflicts:     122000 | #Constraints:     190223
370.40/371.50	c bounds -610 >= -966 @ 367.06
371.20/372.35	c #Conflicts:     123000 | #Constraints:     191259
371.20/372.35	c INPROCESSING
371.20/372.35	c GARBAGE COLLECT
371.20/372.35	c #Conflicts:     124000 | #Constraints:     182060
371.20/372.35	c bounds -610 >= -965 @ 367.894
371.80/373.00	c #Conflicts:     125000 | #Constraints:     183129
371.80/373.00	c bounds -610 >= -964 @ 368.543
372.49/373.66	c #Conflicts:     126000 | #Constraints:     184183
372.49/373.66	c #Conflicts:     127000 | #Constraints:     185183
372.49/373.66	c bounds -610 >= -963 @ 369.192
373.28/374.48	c #Conflicts:     128000 | #Constraints:     186210
373.28/374.48	c bounds -610 >= -962 @ 370.008
375.68/376.83	c #Conflicts:     129000 | #Constraints:     187249
375.68/376.83	c bounds -611 >= -962 @ 372.331
376.89/378.08	c #Conflicts:     130000 | #Constraints:     188250
376.89/378.08	c #Conflicts:     131000 | #Constraints:     189250
376.89/378.08	c bounds -611 >= -961 @ 373.568
376.99/378.10	c bounds -612 >= -961 @ 373.593
377.18/378.30	c bounds -613 >= -961 @ 373.789
379.17/380.35	c #Conflicts:     132000 | #Constraints:     190285
379.17/380.35	c bounds -616 >= -961 @ 375.829
380.76/381.99	c #Conflicts:     133000 | #Constraints:     191286
380.76/381.99	c #Conflicts:     134000 | #Constraints:     192286
380.76/381.99	c bounds -616 >= -960 @ 377.462
384.87/386.04	c #Conflicts:     135000 | #Constraints:     193313
384.87/386.04	c bounds -617 >= -960 @ 381.493
386.96/388.19	c #Conflicts:     136000 | #Constraints:     194314
386.96/388.19	c #Conflicts:     137000 | #Constraints:     195314
386.96/388.19	c #Conflicts:     138000 | #Constraints:     196314
386.96/388.19	c bounds -617 >= -959 @ 383.623
388.34/389.52	c #Conflicts:     139000 | #Constraints:     197359
388.34/389.52	c #Conflicts:     140000 | #Constraints:     198359
388.34/389.52	c bounds -617 >= -958 @ 384.929
388.34/389.55	c bounds -618 >= -958 @ 384.961
388.34/389.58	c bounds -619 >= -958 @ 384.988
389.55/390.78	c #Conflicts:     141000 | #Constraints:     199388
389.55/390.78	c bounds -620 >= -958 @ 386.183
409.58/410.88	c #Conflicts:     142000 | #Constraints:     200389
409.58/410.88	c #Conflicts:     143000 | #Constraints:     201389
409.58/410.88	c #Conflicts:     144000 | #Constraints:     202389
409.58/410.88	c #Conflicts:     145000 | #Constraints:     203389
409.58/410.88	c #Conflicts:     146000 | #Constraints:     204389
409.58/410.88	c #Conflicts:     147000 | #Constraints:     205389
409.58/410.88	c #Conflicts:     148000 | #Constraints:     206389
409.58/410.88	c #Conflicts:     149000 | #Constraints:     207389
409.58/410.88	c #Conflicts:     150000 | #Constraints:     208389
409.58/410.88	c INPROCESSING
409.58/410.88	c GARBAGE COLLECT
409.58/410.88	c bounds -621 >= -958 @ 405.988
411.98/413.25	c #Conflicts:     151000 | #Constraints:     191003
411.98/413.25	c bounds -622 >= -958 @ 408.334
411.98/413.27	c bounds -623 >= -958 @ 408.362
412.08/413.30	c bounds -624 >= -958 @ 408.389
412.08/413.33	c bounds -625 >= -958 @ 408.416
412.08/413.36	c bounds -626 >= -958 @ 408.443
412.08/413.39	c bounds -627 >= -958 @ 408.47
412.88/414.13	c bounds -632 >= -958 @ 409.206
413.28/414.54	c bounds -635 >= -958 @ 409.616
414.17/415.45	c bounds -636 >= -958 @ 410.512
414.17/415.48	c bounds -637 >= -958 @ 410.541
414.26/415.51	c bounds -638 >= -958 @ 410.571
415.36/416.64	c #Conflicts:     152000 | #Constraints:     192014
415.36/416.64	c bounds -639 >= -958 @ 411.703
415.36/416.67	c bounds -640 >= -958 @ 411.734
415.46/416.78	c bounds -641 >= -958 @ 411.836
415.57/416.81	c bounds -642 >= -958 @ 411.864
415.57/416.84	c bounds -643 >= -958 @ 411.893
415.57/416.87	c bounds -644 >= -958 @ 411.922
417.36/418.67	c bounds -645 >= -958 @ 413.712
419.05/420.33	c #Conflicts:     153000 | #Constraints:     193021
419.05/420.33	c #Conflicts:     154000 | #Constraints:     194021
419.05/420.33	c #Conflicts:     155000 | #Constraints:     195021
419.05/420.33	c bounds -645 >= -957 @ 415.365
420.15/421.43	c bounds -646 >= -957 @ 416.452
420.15/421.47	c bounds -647 >= -957 @ 416.501
421.65/422.97	c bounds -648 >= -957 @ 417.985
423.94/425.25	c #Conflicts:     156000 | #Constraints:     196075
423.94/425.25	c #Conflicts:     157000 | #Constraints:     197075
423.94/425.25	c #Conflicts:     158000 | #Constraints:     198075
423.94/425.25	c #Conflicts:     159000 | #Constraints:     199075
423.94/425.25	c bounds -648 >= -956 @ 420.249
428.73/430.01	c INPROCESSING
428.73/430.01	c GARBAGE COLLECT
428.73/430.01	c #Conflicts:     160000 | #Constraints:     186341
428.73/430.01	c #Conflicts:     161000 | #Constraints:     187341
428.73/430.01	c #Conflicts:     162000 | #Constraints:     188341
428.73/430.01	c #Conflicts:     163000 | #Constraints:     189341
428.73/430.01	c bounds -648 >= -955 @ 424.954
450.17/451.59	c #Conflicts:     164000 | #Constraints:     190395
450.17/451.59	c #Conflicts:     165000 | #Constraints:     191395
450.17/451.59	c #Conflicts:     166000 | #Constraints:     192395
450.17/451.59	c #Conflicts:     167000 | #Constraints:     193395
450.17/451.59	c #Conflicts:     168000 | #Constraints:     194395
450.17/451.59	c #Conflicts:     169000 | #Constraints:     195395
450.17/451.59	c INPROCESSING
450.17/451.59	c GARBAGE COLLECT
450.17/451.59	c #Conflicts:     170000 | #Constraints:     184612
450.17/451.59	c #Conflicts:     171000 | #Constraints:     185612
450.17/451.59	c #Conflicts:     172000 | #Constraints:     186612
450.17/451.59	c #Conflicts:     173000 | #Constraints:     187612
450.17/451.59	c #Conflicts:     174000 | #Constraints:     188612
450.17/451.59	c bounds -648 >= -954 @ 446.376
764.52/766.84	c #Conflicts:     175000 | #Constraints:     189678
764.52/766.84	c #Conflicts:     176000 | #Constraints:     190678
764.52/766.84	c #Conflicts:     177000 | #Constraints:     191678
764.52/766.84	c #Conflicts:     178000 | #Constraints:     192678
764.52/766.84	c #Conflicts:     179000 | #Constraints:     193678
764.52/766.84	c #Conflicts:     180000 | #Constraints:     194678
764.52/766.84	c bounds -648 >= -953 @ 759.917
767.21/769.56	c #Conflicts:     181000 | #Constraints:     195714
767.21/769.56	c #Conflicts:     182000 | #Constraints:     196714
767.21/769.56	c #Conflicts:     183000 | #Constraints:     197714
767.21/769.56	c #Conflicts:     184000 | #Constraints:     198714
767.21/769.56	c bounds -648 >= -952 @ 762.613
769.71/772.03	c #Conflicts:     185000 | #Constraints:     199747
769.71/772.03	c #Conflicts:     186000 | #Constraints:     200747
769.71/772.03	c #Conflicts:     187000 | #Constraints:     201747
769.71/772.03	c #Conflicts:     188000 | #Constraints:     202747
769.71/772.03	c bounds -648 >= -951 @ 765.056
772.29/774.60	c #Conflicts:     189000 | #Constraints:     203780
772.29/774.60	c #Conflicts:     190000 | #Constraints:     204780
772.29/774.60	c #Conflicts:     191000 | #Constraints:     205780
772.29/774.60	c bounds -648 >= -950 @ 767.6
775.79/778.11	c #Conflicts:     192000 | #Constraints:     206807
775.79/778.11	c #Conflicts:     193000 | #Constraints:     207807
775.79/778.11	c #Conflicts:     194000 | #Constraints:     208807
775.79/778.11	c #Conflicts:     195000 | #Constraints:     209807
775.79/778.11	c #Conflicts:     196000 | #Constraints:     210807
775.79/778.11	c bounds -648 >= -949 @ 771.087
865.93/868.55	c #Conflicts:     197000 | #Constraints:     211849
865.93/868.55	c #Conflicts:     198000 | #Constraints:     212849
865.93/868.55	c #Conflicts:     199000 | #Constraints:     213849
865.93/868.55	c #Conflicts:     200000 | #Constraints:     214849
865.93/868.55	c INPROCESSING
865.93/868.55	c GARBAGE COLLECT
865.93/868.55	c rational objective -783.269
868.32/870.98	c #Conflicts:     201000 | #Constraints:     194305
868.32/870.98	c bounds -648 >= -948 @ 863.36
872.91/875.51	c #Conflicts:     202000 | #Constraints:     195353
872.91/875.51	c #Conflicts:     203000 | #Constraints:     196353
872.91/875.51	c #Conflicts:     204000 | #Constraints:     197353
872.91/875.51	c #Conflicts:     205000 | #Constraints:     198353
872.91/875.51	c #Conflicts:     206000 | #Constraints:     199353
872.91/875.51	c #Conflicts:     207000 | #Constraints:     200353
872.91/875.51	c #Conflicts:     208000 | #Constraints:     201353
872.91/875.51	c bounds -648 >= -947 @ 867.848
878.79/881.40	c #Conflicts:     209000 | #Constraints:     202416
878.79/881.40	c #Conflicts:     210000 | #Constraints:     203416
878.79/881.40	c #Conflicts:     211000 | #Constraints:     204416
878.79/881.40	c INPROCESSING
878.79/881.40	c GARBAGE COLLECT
878.79/881.40	c #Conflicts:     212000 | #Constraints:     189108
878.79/881.40	c #Conflicts:     213000 | #Constraints:     190108
878.79/881.40	c #Conflicts:     214000 | #Constraints:     191108
878.79/881.40	c #Conflicts:     215000 | #Constraints:     192108
878.79/881.40	c #Conflicts:     216000 | #Constraints:     193108
878.79/881.40	c #Conflicts:     217000 | #Constraints:     194108
878.79/881.40	c #Conflicts:     218000 | #Constraints:     195108
878.79/881.40	c bounds -648 >= -946 @ 873.685
881.18/883.87	c bounds -649 >= -946 @ 876.147
886.06/888.72	c #Conflicts:     219000 | #Constraints:     196199
886.06/888.72	c #Conflicts:     220000 | #Constraints:     197199
886.06/888.72	c #Conflicts:     221000 | #Constraints:     198199
886.06/888.72	c #Conflicts:     222000 | #Constraints:     199199
886.06/888.72	c INPROCESSING
886.06/888.72	c GARBAGE COLLECT
886.06/888.72	c #Conflicts:     223000 | #Constraints:     186363
886.06/888.72	c bounds -650 >= -946 @ 880.965
902.62/905.39	c #Conflicts:     224000 | #Constraints:     187364
902.62/905.39	c #Conflicts:     225000 | #Constraints:     188364
902.62/905.39	c #Conflicts:     226000 | #Constraints:     189364
902.62/905.39	c #Conflicts:     227000 | #Constraints:     190364
902.62/905.39	c #Conflicts:     228000 | #Constraints:     191364
902.62/905.39	c bounds -651 >= -946 @ 897.552
913.60/916.31	c #Conflicts:     229000 | #Constraints:     192365
913.60/916.31	c #Conflicts:     230000 | #Constraints:     193365
913.60/916.31	c #Conflicts:     231000 | #Constraints:     194365
913.60/916.31	c #Conflicts:     232000 | #Constraints:     195365
913.60/916.31	c #Conflicts:     233000 | #Constraints:     196365
913.60/916.31	c #Conflicts:     234000 | #Constraints:     197365
913.60/916.31	c #Conflicts:     235000 | #Constraints:     198365
913.60/916.31	c #Conflicts:     236000 | #Constraints:     199365
913.60/916.31	c #Conflicts:     237000 | #Constraints:     200365
913.60/916.31	c #Conflicts:     238000 | #Constraints:     201365
913.60/916.31	c #Conflicts:     239000 | #Constraints:     202365
913.60/916.31	c #Conflicts:     240000 | #Constraints:     203365
913.60/916.31	c #Conflicts:     241000 | #Constraints:     204365
913.60/916.31	c #Conflicts:     242000 | #Constraints:     205365
913.60/916.31	c #Conflicts:     243000 | #Constraints:     206365
913.60/916.31	c bounds -651 >= -945 @ 908.386
925.77/928.57	c #Conflicts:     244000 | #Constraints:     207461
925.77/928.57	c #Conflicts:     245000 | #Constraints:     208461
925.77/928.57	c #Conflicts:     246000 | #Constraints:     209461
925.77/928.57	c #Conflicts:     247000 | #Constraints:     210461
925.77/928.57	c #Conflicts:     248000 | #Constraints:     211461
925.77/928.57	c #Conflicts:     249000 | #Constraints:     212461
925.77/928.57	c #Conflicts:     250000 | #Constraints:     213461
925.77/928.57	c #Conflicts:     251000 | #Constraints:     214461
925.77/928.57	c #Conflicts:     252000 | #Constraints:     215461
925.77/928.57	c #Conflicts:     253000 | #Constraints:     216461
925.77/928.57	c #Conflicts:     254000 | #Constraints:     217461
925.77/928.57	c #Conflicts:     255000 | #Constraints:     218461
925.77/928.57	c #Conflicts:     256000 | #Constraints:     219461
925.77/928.57	c bounds -651 >= -944 @ 920.567
926.06/928.84	c bounds -652 >= -944 @ 920.829
1026.45/1029.41	c #Conflicts:     257000 | #Constraints:     220525
1026.45/1029.41	c INPROCESSING
1026.45/1029.41	c GARBAGE COLLECT
1026.45/1029.41	c rational objective -782.269
1027.84/1030.86	c bounds -653 >= -944 @ 1022.29
1029.24/1032.20	c #Conflicts:     258000 | #Constraints:     197264
1029.24/1032.20	c bounds -654 >= -944 @ 1023.62
1029.24/1032.22	c bounds -655 >= -944 @ 1023.64
1029.24/1032.25	c bounds -656 >= -944 @ 1023.67
1029.24/1032.27	c bounds -657 >= -944 @ 1023.69
1029.34/1032.30	c bounds -658 >= -944 @ 1023.72
1029.44/1032.43	c bounds -659 >= -944 @ 1023.85
1029.44/1032.46	c bounds -661 >= -944 @ 1023.88
1029.44/1032.48	c bounds -663 >= -944 @ 1023.9
1029.55/1032.51	c bounds -664 >= -944 @ 1023.92
1030.64/1033.60	c bounds -665 >= -944 @ 1025
1030.64/1033.69	c bounds -666 >= -944 @ 1025.09
1031.74/1034.73	c bounds -669 >= -944 @ 1026.13
1032.14/1035.17	c bounds -670 >= -944 @ 1026.56
1032.23/1035.20	c bounds -671 >= -944 @ 1026.59
1032.23/1035.22	c bounds -672 >= -944 @ 1026.62
1033.73/1036.79	c #Conflicts:     259000 | #Constraints:     198279
1033.73/1036.79	c bounds -673 >= -944 @ 1028.17
1033.83/1036.81	c bounds -674 >= -944 @ 1028.2
1033.83/1036.84	c bounds -675 >= -944 @ 1028.22
1033.83/1036.87	c bounds -676 >= -944 @ 1028.25
1033.83/1036.89	c bounds -677 >= -944 @ 1028.27
1035.03/1038.02	c bounds -678 >= -944 @ 1029.39
1035.03/1038.04	c bounds -679 >= -944 @ 1029.42
1035.03/1038.07	c bounds -680 >= -944 @ 1029.44
1035.22/1038.21	c bounds -681 >= -944 @ 1029.58
1035.22/1038.23	c bounds -682 >= -944 @ 1029.6
1035.22/1038.26	c bounds -686 >= -944 @ 1029.63
1036.42/1039.41	c #Conflicts:     260000 | #Constraints:     199290
1036.42/1039.41	c bounds -687 >= -944 @ 1030.77
1036.72/1039.74	c bounds -688 >= -944 @ 1031.1
1038.71/1041.78	c bounds -690 >= -944 @ 1033.14
1052.48/1055.59	c #Conflicts:     261000 | #Constraints:     200293
1052.48/1055.59	c #Conflicts:     262000 | #Constraints:     201293
1052.48/1055.59	c #Conflicts:     263000 | #Constraints:     202293
1052.48/1055.59	c #Conflicts:     264000 | #Constraints:     203293
1052.48/1055.59	c #Conflicts:     265000 | #Constraints:     204293
1052.48/1055.59	c #Conflicts:     266000 | #Constraints:     205293
1052.48/1055.59	c #Conflicts:     267000 | #Constraints:     206293
1052.48/1055.59	c #Conflicts:     268000 | #Constraints:     207293
1052.48/1055.59	c #Conflicts:     269000 | #Constraints:     208293
1052.48/1055.59	c #Conflicts:     270000 | #Constraints:     209293
1052.48/1055.59	c INPROCESSING
1052.48/1055.59	c GARBAGE COLLECT
1052.48/1055.59	c #Conflicts:     271000 | #Constraints:     191633
1052.48/1055.59	c #Conflicts:     272000 | #Constraints:     192633
1052.48/1055.59	c bounds -691 >= -944 @ 1046.84
1052.58/1055.61	c bounds -692 >= -944 @ 1046.87
1052.58/1055.69	c bounds -693 >= -944 @ 1046.94
1052.68/1055.72	c bounds -694 >= -944 @ 1046.97
1052.68/1055.74	c bounds -695 >= -944 @ 1046.99
1052.68/1055.77	c bounds -696 >= -944 @ 1047.02
1052.79/1055.80	c bounds -698 >= -944 @ 1047.04
1064.35/1067.49	c #Conflicts:     273000 | #Constraints:     193640
1064.35/1067.49	c #Conflicts:     274000 | #Constraints:     194640
1064.35/1067.49	c #Conflicts:     275000 | #Constraints:     195640
1064.35/1067.49	c bounds -700 >= -944 @ 1058.69
1204.27/1207.68	c #Conflicts:     276000 | #Constraints:     196641
1204.27/1207.68	c #Conflicts:     277000 | #Constraints:     197641
1204.27/1207.68	c #Conflicts:     278000 | #Constraints:     198641
1204.27/1207.68	c #Conflicts:     279000 | #Constraints:     199641
1204.27/1207.68	c #Conflicts:     280000 | #Constraints:     200641
1204.27/1207.68	c #Conflicts:     281000 | #Constraints:     201641
1204.27/1207.68	c #Conflicts:     282000 | #Constraints:     202641
1204.27/1207.68	c INPROCESSING
1204.27/1207.68	c GARBAGE COLLECT
1204.27/1207.68	c #Conflicts:     283000 | #Constraints:     187948
1204.27/1207.68	c #Conflicts:     284000 | #Constraints:     188948
1204.27/1207.68	c #Conflicts:     285000 | #Constraints:     189948
1204.27/1207.68	c #Conflicts:     286000 | #Constraints:     190948
1204.27/1207.68	c #Conflicts:     287000 | #Constraints:     191948
1204.27/1207.68	c #Conflicts:     288000 | #Constraints:     192948
1204.27/1207.68	c #Conflicts:     289000 | #Constraints:     193948
1204.27/1207.68	c #Conflicts:     290000 | #Constraints:     194948
1204.27/1207.68	c #Conflicts:     291000 | #Constraints:     195948
1204.27/1207.68	c bounds -700 >= -943 @ 1198.05
1205.26/1208.68	c bounds -701 >= -943 @ 1199.05
1205.36/1208.71	c bounds -702 >= -943 @ 1199.08
1205.36/1208.73	c bounds -703 >= -943 @ 1199.1
1205.36/1208.75	c bounds -704 >= -943 @ 1199.12
1205.36/1208.77	c bounds -705 >= -943 @ 1199.14
1214.65/1218.07	c #Conflicts:     292000 | #Constraints:     197067
1214.65/1218.07	c #Conflicts:     293000 | #Constraints:     198067
1214.65/1218.07	c #Conflicts:     294000 | #Constraints:     199067
1214.65/1218.07	c bounds -706 >= -943 @ 1208.4
1229.71/1233.18	c #Conflicts:     295000 | #Constraints:     200068
1229.71/1233.18	c #Conflicts:     296000 | #Constraints:     201068
1229.71/1233.18	c #Conflicts:     297000 | #Constraints:     202068
1229.71/1233.18	c #Conflicts:     298000 | #Constraints:     203068
1229.71/1233.18	c #Conflicts:     299000 | #Constraints:     204068
1229.71/1233.18	c #Conflicts:     300000 | #Constraints:     205068
1229.71/1233.18	c #Conflicts:     301000 | #Constraints:     206068
1229.71/1233.18	c #Conflicts:     302000 | #Constraints:     207068
1229.71/1233.18	c #Conflicts:     303000 | #Constraints:     208068
1229.71/1233.18	c #Conflicts:     304000 | #Constraints:     209068
1229.71/1233.18	c #Conflicts:     305000 | #Constraints:     210068
1229.71/1233.18	c #Conflicts:     306000 | #Constraints:     211068
1229.71/1233.18	c #Conflicts:     307000 | #Constraints:     212068
1229.71/1233.18	c #Conflicts:     308000 | #Constraints:     213068
1229.71/1233.18	c #Conflicts:     309000 | #Constraints:     214068
1229.71/1233.18	c #Conflicts:     310000 | #Constraints:     215068
1229.71/1233.18	c #Conflicts:     311000 | #Constraints:     216068
1229.71/1233.18	c bounds -706 >= -942 @ 1223.42
1239.98/1243.43	c #Conflicts:     312000 | #Constraints:     217101
1239.98/1243.43	c #Conflicts:     313000 | #Constraints:     218101
1239.98/1243.43	c #Conflicts:     314000 | #Constraints:     219101
1239.98/1243.43	c bounds -708 >= -942 @ 1233.62
1240.98/1244.45	c bounds -709 >= -942 @ 1234.64
1241.18/1244.61	c bounds -710 >= -942 @ 1234.8
1241.18/1244.65	c bounds -711 >= -942 @ 1234.84
1241.18/1244.69	c bounds -712 >= -942 @ 1234.87
1241.28/1244.72	c bounds -713 >= -942 @ 1234.91
1241.28/1244.76	c bounds -714 >= -942 @ 1234.94
1241.37/1244.80	c bounds -716 >= -942 @ 1234.98
1244.77/1248.22	c #Conflicts:     315000 | #Constraints:     220109
1244.77/1248.22	c bounds -720 >= -942 @ 1238.39
1244.86/1248.38	c bounds -721 >= -942 @ 1238.54
1245.87/1249.38	c bounds -730 >= -942 @ 1239.54
1400.23/1404.06	c #Conflicts:     316000 | #Constraints:     221112
1400.23/1404.06	c #Conflicts:     317000 | #Constraints:     222112
1400.23/1404.06	c #Conflicts:     318000 | #Constraints:     223112
1400.23/1404.06	c #Conflicts:     319000 | #Constraints:     224112
1400.23/1404.06	c #Conflicts:     320000 | #Constraints:     225112
1400.23/1404.06	c #Conflicts:     321000 | #Constraints:     226112
1400.23/1404.06	c INPROCESSING
1400.23/1404.06	c GARBAGE COLLECT
1400.23/1404.06	c rational objective -781.262
1555.58/1559.73	c #Conflicts:     322000 | #Constraints:     199886
1555.58/1559.73	c #Conflicts:     323000 | #Constraints:     200886
1555.58/1559.73	c #Conflicts:     324000 | #Constraints:     201886
1555.58/1559.73	c #Conflicts:     325000 | #Constraints:     202886
1555.58/1559.73	c #Conflicts:     326000 | #Constraints:     203886
1555.58/1559.73	c #Conflicts:     327000 | #Constraints:     204886
1555.58/1559.73	c #Conflicts:     328000 | #Constraints:     205886
1555.58/1559.73	c #Conflicts:     329000 | #Constraints:     206886
1555.58/1559.73	c #Conflicts:     330000 | #Constraints:     207886
1555.58/1559.73	c #Conflicts:     331000 | #Constraints:     208886
1555.58/1559.73	c #Conflicts:     332000 | #Constraints:     209886
1555.58/1559.73	c #Conflicts:     333000 | #Constraints:     210886
1555.58/1559.73	c #Conflicts:     334000 | #Constraints:     211886
1555.58/1559.73	c #Conflicts:     335000 | #Constraints:     212886
1555.58/1559.73	c #Conflicts:     336000 | #Constraints:     213886
1555.58/1559.73	c INPROCESSING
1555.58/1559.73	c GARBAGE COLLECT
1555.58/1559.73	c #Conflicts:     337000 | #Constraints:     193933
1555.58/1559.73	c #Conflicts:     338000 | #Constraints:     194933
1555.58/1559.73	c #Conflicts:     339000 | #Constraints:     195933
1555.58/1559.73	c #Conflicts:     340000 | #Constraints:     196933
1555.58/1559.73	c #Conflicts:     341000 | #Constraints:     197933
1555.58/1559.73	c #Conflicts:     342000 | #Constraints:     198933
1555.58/1559.73	c #Conflicts:     343000 | #Constraints:     199933
1555.58/1559.73	c #Conflicts:     344000 | #Constraints:     200933
1555.58/1559.73	c #Conflicts:     345000 | #Constraints:     201933
1555.58/1559.73	c #Conflicts:     346000 | #Constraints:     202933
1555.58/1559.73	c #Conflicts:     347000 | #Constraints:     203933
1555.58/1559.73	c #Conflicts:     348000 | #Constraints:     204933
1555.58/1559.73	c #Conflicts:     349000 | #Constraints:     205933
1555.58/1559.73	c bounds -730 >= -941 @ 1548.27
1564.56/1568.73	c #Conflicts:     350000 | #Constraints:     206993
1564.56/1568.73	c INPROCESSING
1564.56/1568.73	c GARBAGE COLLECT
1564.56/1568.73	c #Conflicts:     351000 | #Constraints:     189033
1564.56/1568.73	c #Conflicts:     352000 | #Constraints:     190033
1564.56/1568.73	c #Conflicts:     353000 | #Constraints:     191033
1564.56/1568.73	c #Conflicts:     354000 | #Constraints:     192033
1564.56/1568.73	c #Conflicts:     355000 | #Constraints:     193033
1564.56/1568.73	c #Conflicts:     356000 | #Constraints:     194033
1564.56/1568.73	c #Conflicts:     357000 | #Constraints:     195033
1564.56/1568.73	c #Conflicts:     358000 | #Constraints:     196033
1564.56/1568.73	c #Conflicts:     359000 | #Constraints:     197033
1564.56/1568.73	c #Conflicts:     360000 | #Constraints:     198033
1564.56/1568.73	c bounds -730 >= -940 @ 1557.21
1578.42/1582.66	c #Conflicts:     361000 | #Constraints:     199135
1578.42/1582.66	c #Conflicts:     362000 | #Constraints:     200135
1578.42/1582.66	c #Conflicts:     363000 | #Constraints:     201135
1578.42/1582.66	c #Conflicts:     364000 | #Constraints:     202135
1578.42/1582.66	c #Conflicts:     365000 | #Constraints:     203135
1578.42/1582.66	c #Conflicts:     366000 | #Constraints:     204135
1578.42/1582.66	c #Conflicts:     367000 | #Constraints:     205135
1578.42/1582.66	c #Conflicts:     368000 | #Constraints:     206135
1578.42/1582.66	c #Conflicts:     369000 | #Constraints:     207135
1578.42/1582.66	c #Conflicts:     370000 | #Constraints:     208135
1578.42/1582.66	c #Conflicts:     371000 | #Constraints:     209135
1578.42/1582.66	c #Conflicts:     372000 | #Constraints:     210135
1578.42/1582.66	c #Conflicts:     373000 | #Constraints:     211135
1578.42/1582.66	c #Conflicts:     374000 | #Constraints:     212135
1578.42/1582.66	c bounds -730 >= -939 @ 1571.05
1591.59/1595.85	c #Conflicts:     375000 | #Constraints:     213165
1591.59/1595.85	c #Conflicts:     376000 | #Constraints:     214165
1591.59/1595.85	c #Conflicts:     377000 | #Constraints:     215165
1591.59/1595.85	c #Conflicts:     378000 | #Constraints:     216165
1591.59/1595.85	c bounds -731 >= -939 @ 1584.18
1607.15/1611.41	c #Conflicts:     379000 | #Constraints:     217166
1607.15/1611.41	c #Conflicts:     380000 | #Constraints:     218166
1607.15/1611.41	c #Conflicts:     381000 | #Constraints:     219166
1607.15/1611.41	c #Conflicts:     382000 | #Constraints:     220166
1607.15/1611.41	c #Conflicts:     383000 | #Constraints:     221166
1607.15/1611.41	c #Conflicts:     384000 | #Constraints:     222166
1607.15/1611.41	c #Conflicts:     385000 | #Constraints:     223166
1607.15/1611.41	c #Conflicts:     386000 | #Constraints:     224166
1607.15/1611.41	c #Conflicts:     387000 | #Constraints:     225166
1607.15/1611.41	c #Conflicts:     388000 | #Constraints:     226166
1607.15/1611.41	c #Conflicts:     389000 | #Constraints:     227166
1607.15/1611.41	c #Conflicts:     390000 | #Constraints:     228166
1607.15/1611.41	c bounds -731 >= -938 @ 1599.66
1610.34/1614.66	c #Conflicts:     391000 | #Constraints:     229205
1610.34/1614.66	c bounds -732 >= -938 @ 1602.91
1812.80/1817.58	c #Conflicts:     392000 | #Constraints:     230206
1812.80/1817.58	c #Conflicts:     393000 | #Constraints:     231206
1812.80/1817.58	c INPROCESSING
1812.80/1817.58	c GARBAGE COLLECT
1812.80/1817.58	c rational objective -779.077
1826.37/1831.17	c #Conflicts:     394000 | #Constraints:     202276
1826.37/1831.17	c #Conflicts:     395000 | #Constraints:     203276
1826.37/1831.17	c #Conflicts:     396000 | #Constraints:     204276
1826.37/1831.17	c #Conflicts:     397000 | #Constraints:     205276
1826.37/1831.17	c #Conflicts:     398000 | #Constraints:     206276
1826.37/1831.17	c #Conflicts:     399000 | #Constraints:     207276
1826.37/1831.17	c #Conflicts:     400000 | #Constraints:     208276
1826.37/1831.17	c #Conflicts:     401000 | #Constraints:     209276
1826.37/1831.17	c #Conflicts:     402000 | #Constraints:     210276
1826.37/1831.17	c #Conflicts:     403000 | #Constraints:     211276
1826.37/1831.17	c #Conflicts:     404000 | #Constraints:     212276
1826.37/1831.17	c bounds -732 >= -937 @ 1818.31
2032.99/2038.20	c #Conflicts:     405000 | #Constraints:     213318
2032.99/2038.20	c #Conflicts:     406000 | #Constraints:     214318
2032.99/2038.20	c #Conflicts:     407000 | #Constraints:     215318
2032.99/2038.20	c #Conflicts:     408000 | #Constraints:     216318
2032.99/2038.20	c #Conflicts:     409000 | #Constraints:     217318
2032.99/2038.20	c INPROCESSING
2032.99/2038.20	c GARBAGE COLLECT
2032.99/2038.20	c #Conflicts:     410000 | #Constraints:     195894
2032.99/2038.20	c #Conflicts:     411000 | #Constraints:     196894
2032.99/2038.20	c #Conflicts:     412000 | #Constraints:     197894
2032.99/2038.20	c #Conflicts:     413000 | #Constraints:     198894
2032.99/2038.20	c #Conflicts:     414000 | #Constraints:     199894
2032.99/2038.20	c #Conflicts:     415000 | #Constraints:     200894
2032.99/2038.20	c #Conflicts:     416000 | #Constraints:     201894
2032.99/2038.20	c #Conflicts:     417000 | #Constraints:     202894
2032.99/2038.20	c #Conflicts:     418000 | #Constraints:     203894
2032.99/2038.20	c bounds -732 >= -936 @ 2024.37
2135.78/2141.27	c #Conflicts:     419000 | #Constraints:     204939
2135.78/2141.27	c #Conflicts:     420000 | #Constraints:     205939
2135.78/2141.27	c #Conflicts:     421000 | #Constraints:     206939
2135.78/2141.27	c #Conflicts:     422000 | #Constraints:     207939
2135.78/2141.27	c #Conflicts:     423000 | #Constraints:     208939
2135.78/2141.27	c #Conflicts:     424000 | #Constraints:     209939
2135.78/2141.27	c #Conflicts:     425000 | #Constraints:     210939
2135.78/2141.27	c INPROCESSING
2135.78/2141.27	c GARBAGE COLLECT
2135.78/2141.27	c #Conflicts:     426000 | #Constraints:     192498
2135.78/2141.27	c #Conflicts:     427000 | #Constraints:     193498
2135.78/2141.27	c bounds -732 >= -935 @ 2126.86
2142.06/2147.59	c #Conflicts:     428000 | #Constraints:     194567
2142.06/2147.59	c #Conflicts:     429000 | #Constraints:     195567
2142.06/2147.59	c #Conflicts:     430000 | #Constraints:     196567
2142.06/2147.59	c #Conflicts:     431000 | #Constraints:     197567
2142.06/2147.59	c #Conflicts:     432000 | #Constraints:     198567
2142.06/2147.59	c #Conflicts:     433000 | #Constraints:     199567
2142.06/2147.59	c #Conflicts:     434000 | #Constraints:     200567
2142.06/2147.59	c #Conflicts:     435000 | #Constraints:     201567
2142.06/2147.59	c bounds -732 >= -934 @ 2133.14
2370.54/2376.59	c #Conflicts:     436000 | #Constraints:     202615
2370.54/2376.59	c #Conflicts:     437000 | #Constraints:     203615
2370.54/2376.59	c #Conflicts:     438000 | #Constraints:     204615
2370.54/2376.59	c #Conflicts:     439000 | #Constraints:     205615
2370.54/2376.59	c #Conflicts:     440000 | #Constraints:     206615
2370.54/2376.59	c #Conflicts:     441000 | #Constraints:     207615
2370.54/2376.59	c INPROCESSING
2370.54/2376.59	c GARBAGE COLLECT
2370.54/2376.59	c #Conflicts:     442000 | #Constraints:     190880
2370.54/2376.59	c #Conflicts:     443000 | #Constraints:     191880
2370.54/2376.59	c #Conflicts:     444000 | #Constraints:     192880
2370.54/2376.59	c #Conflicts:     445000 | #Constraints:     193880
2370.54/2376.59	c #Conflicts:     446000 | #Constraints:     194880
2370.54/2376.59	c #Conflicts:     447000 | #Constraints:     195880
2370.54/2376.59	c #Conflicts:     448000 | #Constraints:     196880
2370.54/2376.59	c #Conflicts:     449000 | #Constraints:     197880
2370.54/2376.59	c #Conflicts:     450000 | #Constraints:     198880
2370.54/2376.59	c #Conflicts:     451000 | #Constraints:     199880
2370.54/2376.59	c #Conflicts:     452000 | #Constraints:     200880
2370.54/2376.59	c #Conflicts:     453000 | #Constraints:     201880
2370.54/2376.59	c #Conflicts:     454000 | #Constraints:     202880
2370.54/2376.59	c #Conflicts:     455000 | #Constraints:     203880
2370.54/2376.59	c #Conflicts:     456000 | #Constraints:     204880
2370.54/2376.59	c #Conflicts:     457000 | #Constraints:     205880
2370.54/2376.59	c #Conflicts:     458000 | #Constraints:     206880
2370.54/2376.59	c #Conflicts:     459000 | #Constraints:     207880
2370.54/2376.59	c #Conflicts:     460000 | #Constraints:     208880
2370.54/2376.59	c #Conflicts:     461000 | #Constraints:     209880
2370.54/2376.59	c #Conflicts:     462000 | #Constraints:     210880
2370.54/2376.59	c #Conflicts:     463000 | #Constraints:     211880
2370.54/2376.59	c #Conflicts:     464000 | #Constraints:     212880
2370.54/2376.59	c #Conflicts:     465000 | #Constraints:     213880
2370.54/2376.59	c #Conflicts:     466000 | #Constraints:     214880
2370.54/2376.59	c #Conflicts:     467000 | #Constraints:     215880
2370.54/2376.59	c #Conflicts:     468000 | #Constraints:     216880
2370.54/2376.59	c #Conflicts:     469000 | #Constraints:     217880
2370.54/2376.59	c #Conflicts:     470000 | #Constraints:     218880
2370.54/2376.59	c #Conflicts:     471000 | #Constraints:     219880
2370.54/2376.59	c #Conflicts:     472000 | #Constraints:     220880
2370.54/2376.59	c #Conflicts:     473000 | #Constraints:     221880
2370.54/2376.59	c #Conflicts:     474000 | #Constraints:     222880
2370.54/2376.59	c #Conflicts:     475000 | #Constraints:     223880
2370.54/2376.59	c #Conflicts:     476000 | #Constraints:     224880
2370.54/2376.59	c #Conflicts:     477000 | #Constraints:     225880
2370.54/2376.59	c #Conflicts:     478000 | #Constraints:     226880
2370.54/2376.59	c #Conflicts:     479000 | #Constraints:     227880
2370.54/2376.59	c bounds -733 >= -934 @ 2361.27
2377.04/2383.05	c #Conflicts:     480000 | #Constraints:     228881
2377.04/2383.05	c #Conflicts:     481000 | #Constraints:     229881
2377.04/2383.05	c #Conflicts:     482000 | #Constraints:     230881
2377.04/2383.05	c #Conflicts:     483000 | #Constraints:     231881
2377.04/2383.05	c #Conflicts:     484000 | #Constraints:     232881
2377.04/2383.05	c #Conflicts:     485000 | #Constraints:     233881
2377.04/2383.05	c bounds -733 >= -933 @ 2367.69
2636.23/2642.87	c #Conflicts:     486000 | #Constraints:     234944
2636.23/2642.87	c #Conflicts:     487000 | #Constraints:     235944
2636.23/2642.87	c #Conflicts:     488000 | #Constraints:     236944
2636.23/2642.87	c #Conflicts:     489000 | #Constraints:     237944
2636.23/2642.87	c INPROCESSING
2636.23/2642.87	c GARBAGE COLLECT
2636.23/2642.87	c #Conflicts:     490000 | #Constraints:     205775
2636.23/2642.87	c #Conflicts:     491000 | #Constraints:     206775
2636.23/2642.87	c #Conflicts:     492000 | #Constraints:     207775
2636.23/2642.87	c #Conflicts:     493000 | #Constraints:     208775
2636.23/2642.87	c #Conflicts:     494000 | #Constraints:     209775
2636.23/2642.87	c bounds -733 >= -932 @ 2626.3
2897.23/2904.47	c #Conflicts:     495000 | #Constraints:     210826
2897.23/2904.47	c #Conflicts:     496000 | #Constraints:     211826
2897.23/2904.47	c #Conflicts:     497000 | #Constraints:     212826
2897.23/2904.47	c #Conflicts:     498000 | #Constraints:     213826
2897.23/2904.47	c #Conflicts:     499000 | #Constraints:     214826
2897.23/2904.47	c #Conflicts:     500000 | #Constraints:     215826
2897.23/2904.47	c #Conflicts:     501000 | #Constraints:     216826
2897.23/2904.47	c bounds -733 >= -931 @ 2886.68
2904.11/2911.35	c #Conflicts:     502000 | #Constraints:     217862
2904.11/2911.35	c #Conflicts:     503000 | #Constraints:     218862
2904.11/2911.35	c #Conflicts:     504000 | #Constraints:     219862
2904.11/2911.35	c #Conflicts:     505000 | #Constraints:     220862
2904.11/2911.35	c #Conflicts:     506000 | #Constraints:     221862
2904.11/2911.35	c INPROCESSING
2904.11/2911.35	c GARBAGE COLLECT
2904.11/2911.35	c #Conflicts:     507000 | #Constraints:     197597
2904.11/2911.35	c #Conflicts:     508000 | #Constraints:     198597
2904.11/2911.35	c bounds -733 >= -930 @ 2893.51
2914.09/2921.37	c #Conflicts:     509000 | #Constraints:     199645
2914.09/2921.37	c #Conflicts:     510000 | #Constraints:     200645
2914.09/2921.37	c #Conflicts:     511000 | #Constraints:     201645
2914.09/2921.37	c #Conflicts:     512000 | #Constraints:     202645
2914.09/2921.37	c #Conflicts:     513000 | #Constraints:     203645
2914.09/2921.37	c #Conflicts:     514000 | #Constraints:     204645
2914.09/2921.37	c #Conflicts:     515000 | #Constraints:     205645
2914.09/2921.37	c #Conflicts:     516000 | #Constraints:     206645
2914.09/2921.37	c #Conflicts:     517000 | #Constraints:     207645
2914.09/2921.37	c #Conflicts:     518000 | #Constraints:     208645
2914.09/2921.37	c #Conflicts:     519000 | #Constraints:     209645
2914.09/2921.37	c bounds -733 >= -929 @ 2903.46
2930.45/2937.78	c #Conflicts:     520000 | #Constraints:     210693
2930.45/2937.78	c #Conflicts:     521000 | #Constraints:     211693
2930.45/2937.78	c #Conflicts:     522000 | #Constraints:     212693
2930.45/2937.78	c #Conflicts:     523000 | #Constraints:     213693
2930.45/2937.78	c #Conflicts:     524000 | #Constraints:     214693
2930.45/2937.78	c INPROCESSING
2930.45/2937.78	c GARBAGE COLLECT
2930.45/2937.78	c #Conflicts:     525000 | #Constraints:     194314
2930.45/2937.78	c #Conflicts:     526000 | #Constraints:     195314
2930.45/2937.78	c #Conflicts:     527000 | #Constraints:     196314
2930.45/2937.78	c #Conflicts:     528000 | #Constraints:     197314
2930.45/2937.78	c #Conflicts:     529000 | #Constraints:     198314
2930.45/2937.78	c #Conflicts:     530000 | #Constraints:     199314
2930.45/2937.78	c #Conflicts:     531000 | #Constraints:     200314
2930.45/2937.78	c #Conflicts:     532000 | #Constraints:     201314
2930.45/2937.78	c #Conflicts:     533000 | #Constraints:     202314
2930.45/2937.78	c #Conflicts:     534000 | #Constraints:     203314
2930.45/2937.78	c #Conflicts:     535000 | #Constraints:     204314
2930.45/2937.78	c #Conflicts:     536000 | #Constraints:     205314
2930.45/2937.78	c bounds -733 >= -928 @ 2919.78
2946.31/2953.67	c #Conflicts:     537000 | #Constraints:     206389
2946.31/2953.67	c #Conflicts:     538000 | #Constraints:     207389
2946.31/2953.67	c #Conflicts:     539000 | #Constraints:     208389
2946.31/2953.67	c #Conflicts:     540000 | #Constraints:     209389
2946.31/2953.67	c #Conflicts:     541000 | #Constraints:     210389
2946.31/2953.67	c #Conflicts:     542000 | #Constraints:     211389
2946.31/2953.67	c INPROCESSING
2946.31/2953.67	c GARBAGE COLLECT
2946.31/2953.67	c #Conflicts:     543000 | #Constraints:     192831
2946.31/2953.67	c #Conflicts:     544000 | #Constraints:     193831
2946.31/2953.67	c #Conflicts:     545000 | #Constraints:     194831
2946.31/2953.67	c #Conflicts:     546000 | #Constraints:     195831
2946.31/2953.67	c #Conflicts:     547000 | #Constraints:     196831
2946.31/2953.67	c #Conflicts:     548000 | #Constraints:     197831
2946.31/2953.67	c #Conflicts:     549000 | #Constraints:     198831
2946.31/2953.67	c #Conflicts:     550000 | #Constraints:     199831
2946.31/2953.67	c #Conflicts:     551000 | #Constraints:     200831
2946.31/2953.67	c #Conflicts:     552000 | #Constraints:     201831
2946.31/2953.67	c #Conflicts:     553000 | #Constraints:     202831
2946.31/2953.67	c bounds -733 >= -927 @ 2935.56
2969.16/2976.50	c #Conflicts:     554000 | #Constraints:     203900
2969.16/2976.50	c #Conflicts:     555000 | #Constraints:     204900
2969.16/2976.50	c #Conflicts:     556000 | #Constraints:     205900
2969.16/2976.50	c #Conflicts:     557000 | #Constraints:     206900
2969.16/2976.50	c #Conflicts:     558000 | #Constraints:     207900
2969.16/2976.50	c #Conflicts:     559000 | #Constraints:     208900
2969.16/2976.50	c #Conflicts:     560000 | #Constraints:     209900
2969.16/2976.50	c #Conflicts:     561000 | #Constraints:     210900
2969.16/2976.50	c #Conflicts:     562000 | #Constraints:     211900
2969.16/2976.50	c #Conflicts:     563000 | #Constraints:     212900
2969.16/2976.50	c #Conflicts:     564000 | #Constraints:     213900
2969.16/2976.50	c #Conflicts:     565000 | #Constraints:     214900
2969.16/2976.50	c #Conflicts:     566000 | #Constraints:     215900
2969.16/2976.50	c #Conflicts:     567000 | #Constraints:     216900
2969.16/2976.50	c #Conflicts:     568000 | #Constraints:     217900
2969.16/2976.50	c #Conflicts:     569000 | #Constraints:     218900
2969.16/2976.50	c #Conflicts:     570000 | #Constraints:     219900
2969.16/2976.50	c #Conflicts:     571000 | #Constraints:     220900
2969.16/2976.50	c bounds -733 >= -926 @ 2958.26
2988.61/2996.06	c #Conflicts:     572000 | #Constraints:     221936
2988.61/2996.06	c #Conflicts:     573000 | #Constraints:     222936
2988.61/2996.06	c #Conflicts:     574000 | #Constraints:     223936
2988.61/2996.06	c #Conflicts:     575000 | #Constraints:     224936
2988.61/2996.06	c #Conflicts:     576000 | #Constraints:     225936
2988.61/2996.06	c #Conflicts:     577000 | #Constraints:     226936
2988.61/2996.06	c #Conflicts:     578000 | #Constraints:     227936
2988.61/2996.06	c #Conflicts:     579000 | #Constraints:     228936
2988.61/2996.06	c #Conflicts:     580000 | #Constraints:     229936
2988.61/2996.06	c #Conflicts:     581000 | #Constraints:     230936
2988.61/2996.06	c #Conflicts:     582000 | #Constraints:     231936
2988.61/2996.06	c #Conflicts:     583000 | #Constraints:     232936
2988.61/2996.06	c #Conflicts:     584000 | #Constraints:     233936
2988.61/2996.06	c #Conflicts:     585000 | #Constraints:     234936
2988.61/2996.06	c bounds -733 >= -925 @ 2977.7
3008.25/3015.72	c #Conflicts:     586000 | #Constraints:     235966
3008.25/3015.72	c #Conflicts:     587000 | #Constraints:     236966
3008.25/3015.72	c #Conflicts:     588000 | #Constraints:     237966
3008.25/3015.72	c #Conflicts:     589000 | #Constraints:     238966
3008.25/3015.72	c #Conflicts:     590000 | #Constraints:     239966
3008.25/3015.72	c #Conflicts:     591000 | #Constraints:     240966
3008.25/3015.72	c #Conflicts:     592000 | #Constraints:     241966
3008.25/3015.72	c #Conflicts:     593000 | #Constraints:     242966
3008.25/3015.72	c #Conflicts:     594000 | #Constraints:     243966
3008.25/3015.72	c #Conflicts:     595000 | #Constraints:     244966
3008.25/3015.72	c #Conflicts:     596000 | #Constraints:     245966
3008.25/3015.72	c INPROCESSING
3008.25/3015.72	c GARBAGE COLLECT
3008.25/3015.72	c #Conflicts:     597000 | #Constraints:     210190
3008.25/3015.72	c #Conflicts:     598000 | #Constraints:     211190
3008.25/3015.72	c #Conflicts:     599000 | #Constraints:     212190
3008.25/3015.72	c bounds -733 >= -924 @ 2997.26
3024.72/3032.22	c #Conflicts:     600000 | #Constraints:     213235
3024.72/3032.22	c #Conflicts:     601000 | #Constraints:     214235
3024.72/3032.22	c #Conflicts:     602000 | #Constraints:     215235
3024.72/3032.22	c #Conflicts:     603000 | #Constraints:     216235
3024.72/3032.22	c #Conflicts:     604000 | #Constraints:     217235
3024.72/3032.22	c #Conflicts:     605000 | #Constraints:     218235
3024.72/3032.22	c #Conflicts:     606000 | #Constraints:     219235
3024.72/3032.22	c #Conflicts:     607000 | #Constraints:     220235
3024.72/3032.22	c #Conflicts:     608000 | #Constraints:     221235
3024.72/3032.22	c #Conflicts:     609000 | #Constraints:     222235
3024.72/3032.22	c #Conflicts:     610000 | #Constraints:     223235
3024.72/3032.22	c #Conflicts:     611000 | #Constraints:     224235
3024.72/3032.22	c #Conflicts:     612000 | #Constraints:     225235
3024.72/3032.22	c #Conflicts:     613000 | #Constraints:     226235
3024.72/3032.22	c #Conflicts:     614000 | #Constraints:     227235
3024.72/3032.22	c bounds -733 >= -923 @ 3013.66
3364.16/3372.42	c #Conflicts:     615000 | #Constraints:     228280
3364.16/3372.42	c INPROCESSING
3364.16/3372.42	c GARBAGE COLLECT
3364.16/3372.42	c #Conflicts:     616000 | #Constraints:     201336
3364.16/3372.42	c #Conflicts:     617000 | #Constraints:     202336
3364.16/3372.42	c #Conflicts:     618000 | #Constraints:     203336
3364.16/3372.42	c #Conflicts:     619000 | #Constraints:     204336
3364.16/3372.42	c #Conflicts:     620000 | #Constraints:     205336
3364.16/3372.42	c #Conflicts:     621000 | #Constraints:     206336
3364.16/3372.42	c #Conflicts:     622000 | #Constraints:     207336
3364.16/3372.42	c #Conflicts:     623000 | #Constraints:     208336
3364.16/3372.42	c #Conflicts:     624000 | #Constraints:     209336
3364.16/3372.42	c #Conflicts:     625000 | #Constraints:     210336
3364.16/3372.42	c #Conflicts:     626000 | #Constraints:     211336
3364.16/3372.42	c #Conflicts:     627000 | #Constraints:     212336
3364.16/3372.42	c #Conflicts:     628000 | #Constraints:     213336
3364.16/3372.42	c #Conflicts:     629000 | #Constraints:     214336
3364.16/3372.42	c #Conflicts:     630000 | #Constraints:     215336
3364.16/3372.42	c #Conflicts:     631000 | #Constraints:     216336
3364.16/3372.42	c #Conflicts:     632000 | #Constraints:     217336
3364.16/3372.42	c #Conflicts:     633000 | #Constraints:     218336
3364.16/3372.42	c #Conflicts:     634000 | #Constraints:     219336
3364.16/3372.42	c INPROCESSING
3364.16/3372.42	c GARBAGE COLLECT
3364.16/3372.42	c #Conflicts:     635000 | #Constraints:     196775
3364.16/3372.42	c #Conflicts:     636000 | #Constraints:     197775
3364.16/3372.42	c #Conflicts:     637000 | #Constraints:     198775
3364.16/3372.42	c #Conflicts:     638000 | #Constraints:     199775
3364.16/3372.42	c #Conflicts:     639000 | #Constraints:     200775
3364.16/3372.42	c bounds -733 >= -922 @ 3352.26

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4483898-1751280593/watcher-4483898-1751280593 -o /tmp/evaluation-result-4483898-1751280593/solver-4483898-1751280593 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751280593-37996 --watchdog 3760 run-opt-break.sh HOME/instance-4483898-1751280593.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100061 s]*
/proc/loadavg: 0.66 1.75 3.01 5/271 38057
/proc/meminfo: memFree=129774212/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38056] ppid=38048 vsize=61132 memory=52588 CPUtime=0.07 cores=1,3
/proc/38056/stat : 38056 (pbsuma) R 38048 38048 37984 0 -1 4194304 5953 0 0 0 6 1 0 0 20 0 1 0 43737977 62599168 13147 18446744073709551615 4210688 4653049 140724993727616 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 17633280 140724993735011 140724993735218 140724993735218 140724993740783 0
/proc/38056/statm: 15283 13147 960 108 0 12691 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 65324 KiB
Current children cumulated memory: 55532 KiB

[startup+0.20571 s]*
/proc/loadavg: 0.66 1.75 3.01 5/271 38057
/proc/meminfo: memFree=129552560/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38056] ppid=38048 vsize=151576 memory=115684 CPUtime=0.18 cores=1,3
/proc/38056/stat : 38056 (pbsuma) R 38048 38048 37984 0 -1 4194304 17818 0 0 0 14 4 0 0 20 0 1 0 43737977 155213824 28921 18446744073709551615 4210688 4653049 140724993727616 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 17633280 140724993735011 140724993735218 140724993735218 140724993740783 0
/proc/38056/statm: 37894 28921 992 108 0 35302 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 155768 KiB
Current children cumulated memory: 118628 KiB

[startup+0.305766 s]*
/proc/loadavg: 0.66 1.75 3.01 5/271 38057
/proc/meminfo: memFree=129441796/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38056] ppid=38048 vsize=201140 memory=150456 CPUtime=0.27 cores=1,3
/proc/38056/stat : 38056 (pbsuma) R 38048 38048 37984 0 -1 4194304 28049 0 0 0 21 6 0 0 20 0 1 0 43737977 205967360 37614 18446744073709551615 4210688 4653049 140724993727616 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 17633280 140724993735011 140724993735218 140724993735218 140724993740783 0
/proc/38056/statm: 50285 37614 1024 108 0 47693 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 205332 KiB
Current children cumulated memory: 153400 KiB

[startup+0.70018 s]
/proc/loadavg: 0.66 1.75 3.01 5/271 38057
/proc/meminfo: memFree=129163000/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38056] ppid=38048 vsize=235256 memory=170404 CPUtime=0.66 cores=1,3
/proc/38056/stat : 38056 (pbsuma) R 38048 38048 37984 0 -1 4194304 36677 0 0 0 58 8 0 0 20 0 1 0 43737977 240902144 42601 18446744073709551615 4210688 4653049 140724993727616 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 17633280 140724993735011 140724993735218 140724993735218 140724993740783 0
/proc/38056/statm: 58814 42601 1024 108 0 56222 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 239448 KiB
Current children cumulated memory: 173348 KiB

[startup+1.50015 s]
/proc/loadavg: 0.66 1.75 3.01 5/271 38058
/proc/meminfo: memFree=129224336/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3.10551 s]
/proc/loadavg: 0.93 1.78 3.02 5/271 38061
/proc/meminfo: memFree=128444680/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=350764 memory=252168 CPUtime=2.06 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 31889 0 0 0 182 24 0 0 20 0 1 0 43738078 359182336 63042 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 87691 63042 2400 1147 0 75118 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 354956 KiB
Current children cumulated memory: 255112 KiB

[startup+6.30019 s]
/proc/loadavg: 0.93 1.78 3.02 5/271 38061
/proc/meminfo: memFree=128435812/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=364100 memory=260624 CPUtime=5.24 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 33500 0 0 0 497 27 0 0 20 0 1 0 43738078 372838400 65156 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 91025 65156 2400 1147 0 78452 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 368292 KiB
Current children cumulated memory: 263568 KiB

[startup+12.7002 s]
/proc/loadavg: 1.17 1.82 3.02 5/271 38061
/proc/meminfo: memFree=128435900/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=371176 memory=267280 CPUtime=11.62 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 35198 0 0 0 1129 33 0 0 20 0 1 0 43738078 380084224 66820 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 92794 66820 2400 1147 0 80221 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 375368 KiB
Current children cumulated memory: 270224 KiB

[startup+25.5002 s]
/proc/loadavg: 1.80 1.93 3.04 5/271 38061
/proc/meminfo: memFree=128393724/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=379196 memory=279080 CPUtime=24.39 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 37618 0 0 0 2396 43 0 0 20 0 1 0 43738078 388296704 69770 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 94799 69770 2400 1147 0 82226 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 383388 KiB
Current children cumulated memory: 282024 KiB

[startup+51.1056 s]
/proc/loadavg: 2.62 2.11 3.07 5/270 38062
/proc/meminfo: memFree=128161252/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=496268 memory=376812 CPUtime=49.92 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 57406 0 0 0 4906 86 0 0 20 0 1 0 43738078 508178432 94203 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 124067 94203 2432 1147 0 111494 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 500460 KiB
Current children cumulated memory: 379756 KiB

[startup+102.3 s]
/proc/loadavg: 3.40 2.41 3.12 5/271 38066
/proc/meminfo: memFree=128035888/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=556196 memory=420856 CPUtime=100.97 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 66395 0 0 0 9973 124 0 0 20 0 1 0 43738078 569544704 105214 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 139049 105214 2432 1147 0 126476 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 560388 KiB
Current children cumulated memory: 423800 KiB

[startup+162.3 s]
/proc/loadavg: 3.82 2.71 3.19 5/270 38068
/proc/meminfo: memFree=127950612/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=556196 memory=420984 CPUtime=160.81 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 66460 0 0 0 15933 148 0 0 20 0 1 0 43738078 569544704 105246 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 139049 105246 2432 1147 0 126476 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 560388 KiB
Current children cumulated memory: 423928 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.98 3.25 5/269 38070
/proc/meminfo: memFree=127837976/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=603756 memory=455196 CPUtime=220.63 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 70450 0 0 0 21884 179 0 0 20 0 1 0 43738078 618246144 113799 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 150939 113799 2432 1147 0 138366 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 607948 KiB
Current children cumulated memory: 458140 KiB


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

/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=1179484 memory=1036244 CPUtime=3213.39 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 134186 0 0 0 320295 1044 0 0 20 0 1 0 43738078 1207791616 259061 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 294871 259061 2528 1147 0 282298 0
Current children cumulated CPU time: 3214.38 s
Current children cumulated vsize: 1183676 KiB
Current children cumulated memory: 1039188 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/267 38326
/proc/meminfo: memFree=126131264/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=1179484 memory=1036244 CPUtime=3273.28 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 134196 0 0 0 326265 1063 0 0 20 0 1 0 43738078 1207791616 259061 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 294871 259061 2528 1147 0 282298 0
Current children cumulated CPU time: 3274.27 s
Current children cumulated vsize: 1183676 KiB
Current children cumulated memory: 1039188 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.08 5/267 38328
/proc/meminfo: memFree=126102972/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=1179484 memory=1036500 CPUtime=3333.15 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 134269 0 0 0 332231 1084 0 0 20 0 1 0 43738078 1207791616 259125 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 294871 259125 2528 1147 0 282298 0
Current children cumulated CPU time: 3334.14 s
Current children cumulated vsize: 1183676 KiB
Current children cumulated memory: 1039444 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/267 38331
/proc/meminfo: memFree=126022716/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=1179484 memory=1044692 CPUtime=3393.01 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 134373 0 0 0 338192 1109 0 0 20 0 1 0 43738078 1207791616 261173 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 294871 261173 2528 1147 0 282298 0
Current children cumulated CPU time: 3394 s
Current children cumulated vsize: 1183676 KiB
Current children cumulated memory: 1047636 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.08 5/267 38333
/proc/meminfo: memFree=125950516/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=1186700 memory=1052964 CPUtime=3452.87 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 135229 0 0 0 344168 1119 0 0 20 0 1 0 43738078 1215180800 263241 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 296675 263241 2528 1147 0 284102 0
Current children cumulated CPU time: 3453.86 s
Current children cumulated vsize: 1190892 KiB
Current children cumulated memory: 1055908 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/269 38343
/proc/meminfo: memFree=125960528/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=1186700 memory=1052964 CPUtime=3512.73 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 135241 0 0 0 350149 1124 0 0 20 0 1 0 43738078 1215180800 263241 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 296675 263241 2528 1147 0 284102 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 1190892 KiB
Current children cumulated memory: 1055908 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/269 38345
/proc/meminfo: memFree=125968716/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=1186832 memory=1052964 CPUtime=3572.59 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 135247 0 0 0 356128 1131 0 0 20 0 1 0 43738078 1215315968 263241 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 296708 263241 2528 1147 0 284135 0
Current children cumulated CPU time: 3573.58 s
Current children cumulated vsize: 1191024 KiB
Current children cumulated memory: 1055908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.12 4.09 4.08 5/269 38346
/proc/meminfo: memFree=125974720/131249996 swapFree=33010684/33010684
[pid=38048] ppid=38036 vsize=4192 memory=2944 CPUtime=0.99 cores=1,3
/proc/38048/stat : 38048 (run-opt-break.s) S 38036 38048 37984 0 -1 4194304 238 37184 0 0 0 0 90 9 20 0 1 0 43737975 4292608 736 18446744073709551615 93924634611712 93924635506245 140727079528800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93924635745296 93924635793040 93924658229248 140727079536993 140727079537122 140727079537122 140727079542724 0
/proc/38048/statm: 1048 736 672 219 0 110 0
[pid=38060] ppid=38048 vsize=1186832 memory=1052964 CPUtime=3599.05 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38048 38048 37984 0 -1 4194304 135263 0 0 0 358767 1138 0 0 20 0 1 0 43738078 1215315968 263241 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 296708 263241 2528 1147 0 284135 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1191024 KiB
Current children cumulated memory: 1055908 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

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

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

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

[startup+3609.6 s]
/proc/loadavg: 4.11 4.09 4.08 4/263 38354
/proc/meminfo: memFree=126761776/131249996 swapFree=33010684/33010684
[pid=38060] ppid=38036 vsize=1186832 memory=1052964 CPUtime=3599.84 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38036 38048 37984 0 -1 4194304 135263 0 0 0 358846 1138 0 0 20 0 1 0 43738078 1215315968 263241 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 296708 263241 2528 1147 0 284135 0
Current cumulated CPU time of completed processes: 1.00007 s
Current children cumulated CPU time: 3599.84 s
Current children cumulated vsize: 1186832 KiB
Current children cumulated memory: 1052964 KiB

[startup+3610.4 s]
/proc/loadavg: 4.11 4.09 4.08 4/265 38360
/proc/meminfo: memFree=126761536/131249996 swapFree=33010684/33010684
[pid=38060] ppid=38036 vsize=1186832 memory=1052964 CPUtime=3600.64 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38036 38048 37984 0 -1 4194304 135263 0 0 0 358926 1138 0 0 20 0 1 0 43738078 1215315968 263241 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 296708 263241 2528 1147 0 284135 0
Current cumulated CPU time of completed processes: 1.00007 s
Current children cumulated CPU time: 3600.64 s
Current children cumulated vsize: 1186832 KiB
Current children cumulated memory: 1052964 KiB

[startup+3610.8 s]
/proc/loadavg: 4.11 4.09 4.08 4/265 38360
/proc/meminfo: memFree=126761536/131249996 swapFree=33010684/33010684
[pid=38060] ppid=38036 vsize=1186832 memory=1052964 CPUtime=3601.04 cores=1,3
/proc/38060/stat : 38060 (roundingsat) R 38036 38048 37984 0 -1 4194304 135263 0 0 0 358966 1138 0 0 20 0 1 0 43738078 1215315968 263241 18446744073709551615 4227072 8923433 140729587929920 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21340160 140729587931492 140729587931688 140729587931688 140729587937258 0
/proc/38060/statm: 296708 263241 2528 1147 0 284135 0
Current cumulated CPU time of completed processes: 1.00007 s
Current children cumulated CPU time: 3601.04 s
Current children cumulated vsize: 1186832 KiB
Current children cumulated memory: 1052964 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3610.8
CPU time (s): 3602.05
CPU user time (s): 3590.57
CPU system time (s): 11.4874
CPU usage (%): 99.7577
Max. virtual memory (cumulated for all children) (KiB): 1191024
Max. memory (cumulated for all children) (KiB): 1055908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.57
system time used= 11.4874
maximum resident set size= 1052964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172685
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 334
involuntary context switches= 2382


# summary of solver processes directly reported to runsolver:
#   pid: 38048,38060
#   total CPU time (s): 3602.05
#   total CPU user time (s): 3590.57
#   total CPU system time (s): 11.4874

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.7457 second user time and 17.5755 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-06-30 12:49:53
IDJOB=4483898
IDBENCH=145528
IDSOLVER=3359
FILE ID=nodeC032/4483898-1751280593
RUNJOBID= nodeC032-1751280593-37996
SLURM_JOB_ID= 9594228
Free space on /tmp= 432044 MiB

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

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

MD5SUM BENCH= dbf55fafe8c36fc4d34bf230f66c30bf
RANDOM SEED=571615152

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129998656 kB
MemAvailable:   129774760 kB
Buffers:            3280 kB
Cached:           584604 kB
SwapCached:            0 kB
Active:           319648 kB
Inactive:         331228 kB
Active(anon):      81060 kB
Inactive(anon):        0 kB
Active(file):     238588 kB
Inactive(file):   331228 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             54756 kB
Writeback:             0 kB
AnonPages:         66380 kB
Mapped:           102140 kB
Shmem:             18068 kB
KReclaimable:      91056 kB
Slab:             175192 kB
SReclaimable:      91056 kB
SUnreclaim:        84136 kB
KernelStack:        4072 kB
PageTables:         2660 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432016 MiB
End job on nodeC032 at 2025-06-30 13:50:04