0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.11 c #variables 595 #constraints 27931
0.08/0.11 c objective is ce32
0.08/0.16 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.08/0.16 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.08/0.16 c GLOBAL bounds - >= -595 @ 0.09841
0.08/0.16 c GLOBAL bounds - >= -595 @ 0.09906
0.08/0.16 c GLOBAL bounds - >= -595 @ 0.099551
0.08/0.16 c GLOBAL bounds - >= -595 @ 0.099551
0.08/0.16 c GLOBAL bounds - >= -595 @ 0.100435
0.08/0.17 c GLOBAL bounds - >= -595 @ 0.103352
0.08/0.17 c GLOBAL bounds - >= -595 @ 0.103541
0.08/0.17 c GLOBAL bounds - >= -595 @ 0.103541
0.08/0.17 c GLOBAL bounds - >= -595 @ 0.105019
0.08/0.21 c GLOBAL bounds - >= -595 @ 0.140218
0.19/0.21 c GLOBAL bounds - >= -595 @ 0.14126
0.19/0.21 c GLOBAL bounds - >= -595 @ 0.141406
0.19/0.21 c GLOBAL bounds - >= -595 @ 0.145477
0.19/0.21 c GLOBAL bounds - >= -595 @ 0.146551
0.19/0.21 c GLOBAL bounds - >= -595 @ 0.146887
0.19/0.21 c GLOBAL bounds - >= -595 @ 0.147178
0.19/0.22 c GLOBAL bounds - >= -595 @ 0.148365
0.19/0.22 c GLOBAL bounds - >= -595 @ 0.151622
0.19/0.22 c GLOBAL bounds - >= -595 @ 0.152083
0.19/0.22 c GLOBAL bounds - >= -595 @ 0.152497
0.19/0.22 c GLOBAL bounds - >= -595 @ 0.152925
0.19/0.22 c GLOBAL bounds - >= -595 @ 0.153187
0.19/0.22 c GLOBAL bounds - >= -595 @ 0.153404
0.19/0.22 c GLOBAL bounds - >= -595 @ 0.153904
0.19/0.22 c GLOBAL bounds - >= -595 @ 0.154136
0.19/0.22 c GLOBAL bounds - >= -595 @ 0.154822
0.19/0.23 c GLOBAL bounds - >= -595 @ 0.157476
0.19/0.23 c GLOBAL bounds - >= -595 @ 0.158663
0.19/0.23 c GLOBAL bounds - >= -595 @ 0.159951
0.19/0.23 c GLOBAL bounds - >= -595 @ 0.161644
130.49/130.92 c #Conflicts: 1000 | #Constraints: 28987
130.49/130.92 c #Conflicts: 2000 | #Constraints: 29987
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 3000 | #Constraints: 29986
130.49/130.92 c #Conflicts: 4000 | #Constraints: 30986
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 5000 | #Constraints: 30391
130.49/130.92 c #Conflicts: 6000 | #Constraints: 31391
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 7000 | #Constraints: 30396
130.49/130.92 c #Conflicts: 8000 | #Constraints: 31396
130.49/130.92 c #Conflicts: 9000 | #Constraints: 32396
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 10000 | #Constraints: 31096
130.49/130.92 c #Conflicts: 11000 | #Constraints: 32096
130.49/130.92 c #Conflicts: 12000 | #Constraints: 33096
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 13000 | #Constraints: 31547
130.49/130.92 c #Conflicts: 14000 | #Constraints: 32547
130.49/130.92 c #Conflicts: 15000 | #Constraints: 33547
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 16000 | #Constraints: 31771
130.49/130.92 c #Conflicts: 17000 | #Constraints: 32771
130.49/130.92 c #Conflicts: 18000 | #Constraints: 33771
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 19000 | #Constraints: 31787
130.49/130.92 c #Conflicts: 20000 | #Constraints: 32787
130.49/130.92 c #Conflicts: 21000 | #Constraints: 33787
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 22000 | #Constraints: 31594
130.49/130.92 c #Conflicts: 23000 | #Constraints: 32594
130.49/130.92 c #Conflicts: 24000 | #Constraints: 33594
130.49/130.92 c #Conflicts: 25000 | #Constraints: 34594
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 26000 | #Constraints: 32194
130.49/130.92 c #Conflicts: 27000 | #Constraints: 33194
130.49/130.92 c #Conflicts: 28000 | #Constraints: 34194
130.49/130.92 c #Conflicts: 29000 | #Constraints: 35194
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 30000 | #Constraints: 32596
130.49/130.92 c #Conflicts: 31000 | #Constraints: 33596
130.49/130.92 c #Conflicts: 32000 | #Constraints: 34596
130.49/130.92 c #Conflicts: 33000 | #Constraints: 35596
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 34000 | #Constraints: 32801
130.49/130.92 c #Conflicts: 35000 | #Constraints: 33801
130.49/130.92 c #Conflicts: 36000 | #Constraints: 34801
130.49/130.92 c #Conflicts: 37000 | #Constraints: 35801
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 38000 | #Constraints: 32801
130.49/130.92 c #Conflicts: 39000 | #Constraints: 33801
130.49/130.92 c #Conflicts: 40000 | #Constraints: 34801
130.49/130.92 c #Conflicts: 41000 | #Constraints: 35801
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 42000 | #Constraints: 32602
130.49/130.92 c #Conflicts: 43000 | #Constraints: 33602
130.49/130.92 c #Conflicts: 44000 | #Constraints: 34602
130.49/130.92 c #Conflicts: 45000 | #Constraints: 35602
130.49/130.92 c #Conflicts: 46000 | #Constraints: 36602
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 47000 | #Constraints: 33200
130.49/130.92 c #Conflicts: 48000 | #Constraints: 34200
130.49/130.92 c #Conflicts: 49000 | #Constraints: 35200
130.49/130.92 c #Conflicts: 50000 | #Constraints: 36200
130.49/130.92 c #Conflicts: 51000 | #Constraints: 37200
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 52000 | #Constraints: 33601
130.49/130.92 c #Conflicts: 53000 | #Constraints: 34601
130.49/130.92 c #Conflicts: 54000 | #Constraints: 35601
130.49/130.92 c #Conflicts: 55000 | #Constraints: 36601
130.49/130.92 c #Conflicts: 56000 | #Constraints: 37601
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 57000 | #Constraints: 33802
130.49/130.92 c #Conflicts: 58000 | #Constraints: 34802
130.49/130.92 c #Conflicts: 59000 | #Constraints: 35802
130.49/130.92 c #Conflicts: 60000 | #Constraints: 36802
130.49/130.92 c #Conflicts: 61000 | #Constraints: 37802
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 62000 | #Constraints: 33801
130.49/130.92 c #Conflicts: 63000 | #Constraints: 34801
130.49/130.92 c #Conflicts: 64000 | #Constraints: 35801
130.49/130.92 c #Conflicts: 65000 | #Constraints: 36801
130.49/130.92 c #Conflicts: 66000 | #Constraints: 37801
130.49/130.92 c INPROCESSING
130.49/130.92 c GARBAGE COLLECT
130.49/130.92 c #Conflicts: 67000 | #Constraints: 33602
130.49/130.92 c #Conflicts: 68000 | #Constraints: 34602
390.51/391.83 c #Conflicts: 69000 | #Constraints: 35602
390.51/391.83 c #Conflicts: 70000 | #Constraints: 36602
390.51/391.83 c #Conflicts: 71000 | #Constraints: 37602
390.51/391.83 c #Conflicts: 72000 | #Constraints: 38602
390.51/391.83 c INPROCESSING
390.51/391.83 c GARBAGE COLLECT
390.51/391.83 c #Conflicts: 73000 | #Constraints: 34202
390.51/391.83 c #Conflicts: 74000 | #Constraints: 35202
390.51/391.83 c #Conflicts: 75000 | #Constraints: 36202
390.51/391.83 c #Conflicts: 76000 | #Constraints: 37202
390.51/391.83 c #Conflicts: 77000 | #Constraints: 38202
390.51/391.83 c #Conflicts: 78000 | #Constraints: 39202
390.51/391.83 c INPROCESSING
390.51/391.83 c GARBAGE COLLECT
390.51/391.83 c #Conflicts: 79000 | #Constraints: 34601
390.51/391.83 c #Conflicts: 80000 | #Constraints: 35601
390.51/391.83 c #Conflicts: 81000 | #Constraints: 36601
390.51/391.83 c #Conflicts: 82000 | #Constraints: 37601
390.51/391.83 c #Conflicts: 83000 | #Constraints: 38601
390.51/391.83 c #Conflicts: 84000 | #Constraints: 39601
390.51/391.83 c INPROCESSING
390.51/391.83 c GARBAGE COLLECT
390.51/391.83 c #Conflicts: 85000 | #Constraints: 34801
390.51/391.83 c #Conflicts: 86000 | #Constraints: 35801
390.51/391.83 c #Conflicts: 87000 | #Constraints: 36801
390.51/391.83 c #Conflicts: 88000 | #Constraints: 37801
390.51/391.83 c #Conflicts: 89000 | #Constraints: 38801
390.51/391.83 c #Conflicts: 90000 | #Constraints: 39801
390.51/391.83 c INPROCESSING
390.51/391.83 c GARBAGE COLLECT
390.51/391.83 c #Conflicts: 91000 | #Constraints: 34802
390.51/391.83 c #Conflicts: 92000 | #Constraints: 35802
390.51/391.83 c #Conflicts: 93000 | #Constraints: 36802
390.51/391.83 c #Conflicts: 94000 | #Constraints: 37802
390.51/391.83 c #Conflicts: 95000 | #Constraints: 38802
390.51/391.83 c #Conflicts: 96000 | #Constraints: 39802
390.51/391.83 c INPROCESSING
390.51/391.83 c GARBAGE COLLECT
390.51/391.83 c #Conflicts: 97000 | #Constraints: 34601
390.51/391.83 c #Conflicts: 98000 | #Constraints: 35601
390.51/391.83 c #Conflicts: 99000 | #Constraints: 36601
390.51/391.83 c #Conflicts: 100000 | #Constraints: 37601
390.51/391.83 c #Conflicts: 101000 | #Constraints: 38601
390.51/391.83 c #Conflicts: 102000 | #Constraints: 39601
390.51/391.83 c #Conflicts: 103000 | #Constraints: 40601
390.51/391.83 c INPROCESSING
390.51/391.83 c GARBAGE COLLECT
390.51/391.83 c #Conflicts: 104000 | #Constraints: 35201
390.51/391.83 c #Conflicts: 105000 | #Constraints: 36201
390.51/391.83 c #Conflicts: 106000 | #Constraints: 37201
390.51/391.83 c #Conflicts: 107000 | #Constraints: 38201
390.51/391.83 c #Conflicts: 108000 | #Constraints: 39201
390.51/391.83 c #Conflicts: 109000 | #Constraints: 40201
390.51/391.83 c #Conflicts: 110000 | #Constraints: 41201
390.51/391.83 c INPROCESSING
390.51/391.83 c GARBAGE COLLECT
390.51/391.83 c #Conflicts: 111000 | #Constraints: 35600
390.51/391.83 c #Conflicts: 112000 | #Constraints: 36600
390.51/391.83 c #Conflicts: 113000 | #Constraints: 37600
390.51/391.83 c #Conflicts: 114000 | #Constraints: 38600
390.51/391.83 c #Conflicts: 115000 | #Constraints: 39600
390.51/391.83 c #Conflicts: 116000 | #Constraints: 40600
390.51/391.83 c #Conflicts: 117000 | #Constraints: 41600
390.51/391.83 c INPROCESSING
390.51/391.83 c GARBAGE COLLECT
390.51/391.83 c #Conflicts: 118000 | #Constraints: 35801
390.51/391.83 c #Conflicts: 119000 | #Constraints: 36801
390.51/391.83 c #Conflicts: 120000 | #Constraints: 37801
390.51/391.83 c #Conflicts: 121000 | #Constraints: 38801
390.51/391.83 c #Conflicts: 122000 | #Constraints: 39801
390.51/391.83 c #Conflicts: 123000 | #Constraints: 40801
390.51/391.83 c #Conflicts: 124000 | #Constraints: 41801
390.51/391.83 c INPROCESSING
390.51/391.83 c GARBAGE COLLECT
390.51/391.83 c #Conflicts: 125000 | #Constraints: 35798
390.51/391.83 c #Conflicts: 126000 | #Constraints: 36798
390.51/391.83 c #Conflicts: 127000 | #Constraints: 37798
390.51/391.83 c #Conflicts: 128000 | #Constraints: 38798
390.51/391.83 c #Conflicts: 129000 | #Constraints: 39798
390.51/391.83 c #Conflicts: 130000 | #Constraints: 40798
390.51/391.83 c #Conflicts: 131000 | #Constraints: 41798
390.51/391.83 c INPROCESSING
390.51/391.83 c GARBAGE COLLECT
390.51/391.83 c #Conflicts: 132000 | #Constraints: 35600
390.51/391.83 c #Conflicts: 133000 | #Constraints: 36600
390.51/391.83 c #Conflicts: 134000 | #Constraints: 37600
390.51/391.83 c #Conflicts: 135000 | #Constraints: 38600
390.51/391.83 c #Conflicts: 136000 | #Constraints: 39600
390.51/391.83 c #Conflicts: 137000 | #Constraints: 40600
390.51/391.83 c #Conflicts: 138000 | #Constraints: 41600
390.51/391.83 c #Conflicts: 139000 | #Constraints: 42600
390.51/391.83 c INPROCESSING
390.51/391.83 c GARBAGE COLLECT
390.51/391.83 c #Conflicts: 140000 | #Constraints: 36199
721.24/723.50 c #Conflicts: 141000 | #Constraints: 37199
721.24/723.50 c #Conflicts: 142000 | #Constraints: 38199
721.24/723.50 c #Conflicts: 143000 | #Constraints: 39199
721.24/723.50 c #Conflicts: 144000 | #Constraints: 40199
721.24/723.50 c #Conflicts: 145000 | #Constraints: 41199
721.24/723.50 c #Conflicts: 146000 | #Constraints: 42199
721.24/723.50 c #Conflicts: 147000 | #Constraints: 43199
721.24/723.50 c INPROCESSING
721.24/723.50 c GARBAGE COLLECT
721.24/723.50 c #Conflicts: 148000 | #Constraints: 36600
721.24/723.50 c #Conflicts: 149000 | #Constraints: 37600
721.24/723.50 c #Conflicts: 150000 | #Constraints: 38600
721.24/723.50 c #Conflicts: 151000 | #Constraints: 39600
721.24/723.50 c #Conflicts: 152000 | #Constraints: 40600
721.24/723.50 c #Conflicts: 153000 | #Constraints: 41600
721.24/723.50 c #Conflicts: 154000 | #Constraints: 42600
721.24/723.50 c #Conflicts: 155000 | #Constraints: 43600
721.24/723.50 c INPROCESSING
721.24/723.50 c GARBAGE COLLECT
721.24/723.50 c #Conflicts: 156000 | #Constraints: 36800
721.24/723.50 c #Conflicts: 157000 | #Constraints: 37800
721.24/723.50 c #Conflicts: 158000 | #Constraints: 38800
721.24/723.50 c #Conflicts: 159000 | #Constraints: 39800
721.24/723.50 c #Conflicts: 160000 | #Constraints: 40800
721.24/723.50 c #Conflicts: 161000 | #Constraints: 41800
721.24/723.50 c #Conflicts: 162000 | #Constraints: 42800
721.24/723.50 c #Conflicts: 163000 | #Constraints: 43800
721.24/723.50 c INPROCESSING
721.24/723.50 c GARBAGE COLLECT
721.24/723.50 c #Conflicts: 164000 | #Constraints: 36798
721.24/723.50 c #Conflicts: 165000 | #Constraints: 37798
721.24/723.50 c #Conflicts: 166000 | #Constraints: 38798
721.24/723.50 c #Conflicts: 167000 | #Constraints: 39798
721.24/723.50 c #Conflicts: 168000 | #Constraints: 40798
721.24/723.50 c #Conflicts: 169000 | #Constraints: 41798
721.24/723.50 c #Conflicts: 170000 | #Constraints: 42798
721.24/723.50 c #Conflicts: 171000 | #Constraints: 43798
721.24/723.50 c INPROCESSING
721.24/723.50 c GARBAGE COLLECT
721.24/723.50 c #Conflicts: 172000 | #Constraints: 36600
721.24/723.50 c #Conflicts: 173000 | #Constraints: 37600
721.24/723.50 c #Conflicts: 174000 | #Constraints: 38600
721.24/723.50 c #Conflicts: 175000 | #Constraints: 39600
721.24/723.50 c #Conflicts: 176000 | #Constraints: 40600
721.24/723.50 c #Conflicts: 177000 | #Constraints: 41600
721.24/723.50 c #Conflicts: 178000 | #Constraints: 42600
721.24/723.50 c #Conflicts: 179000 | #Constraints: 43600
721.24/723.50 c #Conflicts: 180000 | #Constraints: 44600
721.24/723.50 c INPROCESSING
721.24/723.50 c GARBAGE COLLECT
721.24/723.50 c #Conflicts: 181000 | #Constraints: 37199
721.24/723.50 c #Conflicts: 182000 | #Constraints: 38199
721.24/723.50 c #Conflicts: 183000 | #Constraints: 39199
721.24/723.50 c #Conflicts: 184000 | #Constraints: 40199
721.24/723.50 c #Conflicts: 185000 | #Constraints: 41199
721.24/723.50 c #Conflicts: 186000 | #Constraints: 42199
721.24/723.50 c #Conflicts: 187000 | #Constraints: 43199
721.24/723.50 c #Conflicts: 188000 | #Constraints: 44199
721.24/723.50 c #Conflicts: 189000 | #Constraints: 45199
721.24/723.50 c INPROCESSING
721.24/723.50 c GARBAGE COLLECT
721.24/723.50 c #Conflicts: 190000 | #Constraints: 37597
721.24/723.50 c #Conflicts: 191000 | #Constraints: 38597
721.24/723.50 c #Conflicts: 192000 | #Constraints: 39597
721.24/723.50 c #Conflicts: 193000 | #Constraints: 40597
721.24/723.50 c #Conflicts: 194000 | #Constraints: 41597
721.24/723.50 c #Conflicts: 195000 | #Constraints: 42597
721.24/723.50 c #Conflicts: 196000 | #Constraints: 43597
721.24/723.50 c #Conflicts: 197000 | #Constraints: 44597
721.24/723.50 c #Conflicts: 198000 | #Constraints: 45597
721.24/723.50 c INPROCESSING
721.24/723.50 c GARBAGE COLLECT
721.24/723.50 c #Conflicts: 199000 | #Constraints: 37798
721.24/723.50 c #Conflicts: 200000 | #Constraints: 38798
721.24/723.50 c #Conflicts: 201000 | #Constraints: 39798
721.24/723.50 c #Conflicts: 202000 | #Constraints: 40798
721.24/723.50 c #Conflicts: 203000 | #Constraints: 41798
721.24/723.50 c #Conflicts: 204000 | #Constraints: 42798
721.24/723.50 c #Conflicts: 205000 | #Constraints: 43798
721.24/723.50 c #Conflicts: 206000 | #Constraints: 44798
721.24/723.50 c #Conflicts: 207000 | #Constraints: 45798
721.24/723.50 c INPROCESSING
721.24/723.50 c GARBAGE COLLECT
721.24/723.50 c #Conflicts: 208000 | #Constraints: 37797
721.24/723.50 c #Conflicts: 209000 | #Constraints: 38797
721.24/723.50 c #Conflicts: 210000 | #Constraints: 39797
721.24/723.50 c #Conflicts: 211000 | #Constraints: 40797
721.24/723.50 c #Conflicts: 212000 | #Constraints: 41797
721.24/723.50 c #Conflicts: 213000 | #Constraints: 42797
1144.41/1147.90 c #Conflicts: 214000 | #Constraints: 43797
1144.41/1147.90 c #Conflicts: 215000 | #Constraints: 44797
1144.41/1147.90 c #Conflicts: 216000 | #Constraints: 45797
1144.41/1147.90 c INPROCESSING
1144.41/1147.90 c GARBAGE COLLECT
1144.41/1147.90 c #Conflicts: 217000 | #Constraints: 37596
1144.41/1147.90 c #Conflicts: 218000 | #Constraints: 38596
1144.41/1147.90 c #Conflicts: 219000 | #Constraints: 39596
1144.41/1147.90 c #Conflicts: 220000 | #Constraints: 40596
1144.41/1147.90 c #Conflicts: 221000 | #Constraints: 41596
1144.41/1147.90 c #Conflicts: 222000 | #Constraints: 42596
1144.41/1147.90 c #Conflicts: 223000 | #Constraints: 43596
1144.41/1147.90 c #Conflicts: 224000 | #Constraints: 44596
1144.41/1147.90 c #Conflicts: 225000 | #Constraints: 45596
1144.41/1147.90 c #Conflicts: 226000 | #Constraints: 46596
1144.41/1147.90 c INPROCESSING
1144.41/1147.90 c GARBAGE COLLECT
1144.41/1147.90 c #Conflicts: 227000 | #Constraints: 38199
1144.41/1147.90 c #Conflicts: 228000 | #Constraints: 39199
1144.41/1147.90 c #Conflicts: 229000 | #Constraints: 40199
1144.41/1147.90 c #Conflicts: 230000 | #Constraints: 41199
1144.41/1147.90 c #Conflicts: 231000 | #Constraints: 42199
1144.41/1147.90 c #Conflicts: 232000 | #Constraints: 43199
1144.41/1147.90 c #Conflicts: 233000 | #Constraints: 44199
1144.41/1147.90 c #Conflicts: 234000 | #Constraints: 45199
1144.41/1147.90 c #Conflicts: 235000 | #Constraints: 46199
1144.41/1147.90 c #Conflicts: 236000 | #Constraints: 47199
1144.41/1147.90 c INPROCESSING
1144.41/1147.90 c GARBAGE COLLECT
1144.41/1147.90 c #Conflicts: 237000 | #Constraints: 38603
1144.41/1147.90 c #Conflicts: 238000 | #Constraints: 39603
1144.41/1147.90 c #Conflicts: 239000 | #Constraints: 40603
1144.41/1147.90 c #Conflicts: 240000 | #Constraints: 41603
1144.41/1147.90 c #Conflicts: 241000 | #Constraints: 42603
1144.41/1147.90 c #Conflicts: 242000 | #Constraints: 43603
1144.41/1147.90 c #Conflicts: 243000 | #Constraints: 44603
1144.41/1147.90 c #Conflicts: 244000 | #Constraints: 45603
1144.41/1147.90 c #Conflicts: 245000 | #Constraints: 46603
1144.41/1147.90 c #Conflicts: 246000 | #Constraints: 47603
1144.41/1147.90 c INPROCESSING
1144.41/1147.90 c GARBAGE COLLECT
1144.41/1147.90 c #Conflicts: 247000 | #Constraints: 38802
1144.41/1147.90 c #Conflicts: 248000 | #Constraints: 39802
1144.41/1147.90 c #Conflicts: 249000 | #Constraints: 40802
1144.41/1147.90 c #Conflicts: 250000 | #Constraints: 41802
1144.41/1147.90 c #Conflicts: 251000 | #Constraints: 42802
1144.41/1147.90 c #Conflicts: 252000 | #Constraints: 43802
1144.41/1147.90 c #Conflicts: 253000 | #Constraints: 44802
1144.41/1147.90 c #Conflicts: 254000 | #Constraints: 45802
1144.41/1147.90 c #Conflicts: 255000 | #Constraints: 46802
1144.41/1147.90 c #Conflicts: 256000 | #Constraints: 47802
1144.41/1147.90 c INPROCESSING
1144.41/1147.90 c GARBAGE COLLECT
1144.41/1147.90 c #Conflicts: 257000 | #Constraints: 38805
1144.41/1147.90 c #Conflicts: 258000 | #Constraints: 39805
1144.41/1147.90 c #Conflicts: 259000 | #Constraints: 40805
1144.41/1147.90 c #Conflicts: 260000 | #Constraints: 41805
1144.41/1147.90 c #Conflicts: 261000 | #Constraints: 42805
1144.41/1147.90 c #Conflicts: 262000 | #Constraints: 43805
1144.41/1147.90 c #Conflicts: 263000 | #Constraints: 44805
1144.41/1147.90 c #Conflicts: 264000 | #Constraints: 45805
1144.41/1147.90 c #Conflicts: 265000 | #Constraints: 46805
1144.41/1147.90 c #Conflicts: 266000 | #Constraints: 47805
1144.41/1147.90 c INPROCESSING
1144.41/1147.90 c GARBAGE COLLECT
1144.41/1147.90 c #Conflicts: 267000 | #Constraints: 38604
1144.41/1147.90 c #Conflicts: 268000 | #Constraints: 39604
1144.41/1147.90 c #Conflicts: 269000 | #Constraints: 40604
1144.41/1147.90 c #Conflicts: 270000 | #Constraints: 41604
1144.41/1147.90 c #Conflicts: 271000 | #Constraints: 42604
1144.41/1147.90 c #Conflicts: 272000 | #Constraints: 43604
1144.41/1147.90 c #Conflicts: 273000 | #Constraints: 44604
1144.41/1147.90 c #Conflicts: 274000 | #Constraints: 45604
1144.41/1147.90 c #Conflicts: 275000 | #Constraints: 46604
1144.41/1147.90 c #Conflicts: 276000 | #Constraints: 47604
1144.41/1147.90 c #Conflicts: 277000 | #Constraints: 48604
1144.41/1147.90 c INPROCESSING
1144.41/1147.90 c GARBAGE COLLECT
1144.41/1147.90 c #Conflicts: 278000 | #Constraints: 39204
1144.41/1147.90 c #Conflicts: 279000 | #Constraints: 40204
1144.41/1147.90 c #Conflicts: 280000 | #Constraints: 41204
1144.41/1147.90 c #Conflicts: 281000 | #Constraints: 42204
1144.41/1147.90 c #Conflicts: 282000 | #Constraints: 43204
1144.41/1147.90 c #Conflicts: 283000 | #Constraints: 44204
1144.41/1147.90 c #Conflicts: 284000 | #Constraints: 45204
1144.41/1147.90 c #Conflicts: 285000 | #Constraints: 46204
1144.41/1147.90 c #Conflicts: 286000 | #Constraints: 47204
1144.41/1147.90 c #Conflicts: 287000 | #Constraints: 48204
1144.41/1147.90 c #Conflicts: 288000 | #Constraints: 49204
1568.03/1572.77 c INPROCESSING
1568.03/1572.77 c GARBAGE COLLECT
1568.03/1572.77 c #Conflicts: 289000 | #Constraints: 39602
1568.03/1572.77 c #Conflicts: 290000 | #Constraints: 40602
1568.03/1572.77 c #Conflicts: 291000 | #Constraints: 41602
1568.03/1572.77 c #Conflicts: 292000 | #Constraints: 42602
1568.03/1572.77 c #Conflicts: 293000 | #Constraints: 43602
1568.03/1572.77 c #Conflicts: 294000 | #Constraints: 44602
1568.03/1572.77 c #Conflicts: 295000 | #Constraints: 45602
1568.03/1572.77 c #Conflicts: 296000 | #Constraints: 46602
1568.03/1572.77 c #Conflicts: 297000 | #Constraints: 47602
1568.03/1572.77 c #Conflicts: 298000 | #Constraints: 48602
1568.03/1572.77 c #Conflicts: 299000 | #Constraints: 49602
1568.03/1572.77 c INPROCESSING
1568.03/1572.77 c GARBAGE COLLECT
1568.03/1572.77 c #Conflicts: 300000 | #Constraints: 39802
1568.03/1572.77 c #Conflicts: 301000 | #Constraints: 40802
1568.03/1572.77 c #Conflicts: 302000 | #Constraints: 41802
1568.03/1572.77 c #Conflicts: 303000 | #Constraints: 42802
1568.03/1572.77 c #Conflicts: 304000 | #Constraints: 43802
1568.03/1572.77 c #Conflicts: 305000 | #Constraints: 44802
1568.03/1572.77 c #Conflicts: 306000 | #Constraints: 45802
1568.03/1572.77 c #Conflicts: 307000 | #Constraints: 46802
1568.03/1572.77 c #Conflicts: 308000 | #Constraints: 47802
1568.03/1572.77 c #Conflicts: 309000 | #Constraints: 48802
1568.03/1572.77 c #Conflicts: 310000 | #Constraints: 49802
1568.03/1572.77 c INPROCESSING
1568.03/1572.77 c GARBAGE COLLECT
1568.03/1572.77 c #Conflicts: 311000 | #Constraints: 39801
1568.03/1572.77 c #Conflicts: 312000 | #Constraints: 40801
1568.03/1572.77 c #Conflicts: 313000 | #Constraints: 41801
1568.03/1572.77 c #Conflicts: 314000 | #Constraints: 42801
1568.03/1572.77 c #Conflicts: 315000 | #Constraints: 43801
1568.03/1572.77 c #Conflicts: 316000 | #Constraints: 44801
1568.03/1572.77 c #Conflicts: 317000 | #Constraints: 45801
1568.03/1572.77 c #Conflicts: 318000 | #Constraints: 46801
1568.03/1572.77 c #Conflicts: 319000 | #Constraints: 47801
1568.03/1572.77 c #Conflicts: 320000 | #Constraints: 48801
1568.03/1572.77 c #Conflicts: 321000 | #Constraints: 49801
1568.03/1572.77 c INPROCESSING
1568.03/1572.77 c GARBAGE COLLECT
1568.03/1572.77 c #Conflicts: 322000 | #Constraints: 39603
1568.03/1572.77 c #Conflicts: 323000 | #Constraints: 40603
1568.03/1572.77 c #Conflicts: 324000 | #Constraints: 41603
1568.03/1572.77 c #Conflicts: 325000 | #Constraints: 42603
1568.03/1572.77 c #Conflicts: 326000 | #Constraints: 43603
1568.03/1572.77 c #Conflicts: 327000 | #Constraints: 44603
1568.03/1572.77 c #Conflicts: 328000 | #Constraints: 45603
1568.03/1572.77 c #Conflicts: 329000 | #Constraints: 46603
1568.03/1572.77 c #Conflicts: 330000 | #Constraints: 47603
1568.03/1572.77 c #Conflicts: 331000 | #Constraints: 48603
1568.03/1572.77 c #Conflicts: 332000 | #Constraints: 49603
1568.03/1572.77 c #Conflicts: 333000 | #Constraints: 50603
1568.03/1572.77 c INPROCESSING
1568.03/1572.77 c GARBAGE COLLECT
1568.03/1572.77 c #Conflicts: 334000 | #Constraints: 40201
1568.03/1572.77 c #Conflicts: 335000 | #Constraints: 41201
1568.03/1572.77 c #Conflicts: 336000 | #Constraints: 42201
1568.03/1572.77 c #Conflicts: 337000 | #Constraints: 43201
1568.03/1572.77 c #Conflicts: 338000 | #Constraints: 44201
1568.03/1572.77 c #Conflicts: 339000 | #Constraints: 45201
1568.03/1572.77 c #Conflicts: 340000 | #Constraints: 46201
1568.03/1572.77 c #Conflicts: 341000 | #Constraints: 47201
1568.03/1572.77 c #Conflicts: 342000 | #Constraints: 48201
1568.03/1572.77 c #Conflicts: 343000 | #Constraints: 49201
1568.03/1572.77 c #Conflicts: 344000 | #Constraints: 50201
1568.03/1572.77 c #Conflicts: 345000 | #Constraints: 51201
1568.03/1572.77 c INPROCESSING
1568.03/1572.77 c GARBAGE COLLECT
1568.03/1572.77 c #Conflicts: 346000 | #Constraints: 40599
1568.03/1572.77 c #Conflicts: 347000 | #Constraints: 41599
1568.03/1572.77 c #Conflicts: 348000 | #Constraints: 42599
1568.03/1572.77 c #Conflicts: 349000 | #Constraints: 43599
1568.03/1572.77 c #Conflicts: 350000 | #Constraints: 44599
1568.03/1572.77 c #Conflicts: 351000 | #Constraints: 45599
1568.03/1572.77 c #Conflicts: 352000 | #Constraints: 46599
1568.03/1572.77 c #Conflicts: 353000 | #Constraints: 47599
1568.03/1572.77 c #Conflicts: 354000 | #Constraints: 48599
1568.03/1572.77 c #Conflicts: 355000 | #Constraints: 49599
1568.03/1572.77 c #Conflicts: 356000 | #Constraints: 50599
1568.03/1572.77 c #Conflicts: 357000 | #Constraints: 51599
1568.03/1572.77 c INPROCESSING
1568.03/1572.77 c GARBAGE COLLECT
1568.03/1572.77 c #Conflicts: 358000 | #Constraints: 40798
1568.03/1572.77 c #Conflicts: 359000 | #Constraints: 41798
1568.03/1572.77 c #Conflicts: 360000 | #Constraints: 42798
1568.03/1572.77 c #Conflicts: 361000 | #Constraints: 43798
1568.03/1572.77 c #Conflicts: 362000 | #Constraints: 44798
2087.27/2093.55 c #Conflicts: 363000 | #Constraints: 45798
2087.27/2093.55 c #Conflicts: 364000 | #Constraints: 46798
2087.27/2093.55 c #Conflicts: 365000 | #Constraints: 47798
2087.27/2093.55 c #Conflicts: 366000 | #Constraints: 48798
2087.27/2093.55 c #Conflicts: 367000 | #Constraints: 49798
2087.27/2093.55 c #Conflicts: 368000 | #Constraints: 50798
2087.27/2093.55 c #Conflicts: 369000 | #Constraints: 51798
2087.27/2093.55 c INPROCESSING
2087.27/2093.55 c GARBAGE COLLECT
2087.27/2093.55 c #Conflicts: 370000 | #Constraints: 40800
2087.27/2093.55 c #Conflicts: 371000 | #Constraints: 41800
2087.27/2093.55 c #Conflicts: 372000 | #Constraints: 42800
2087.27/2093.55 c #Conflicts: 373000 | #Constraints: 43800
2087.27/2093.55 c #Conflicts: 374000 | #Constraints: 44800
2087.27/2093.55 c #Conflicts: 375000 | #Constraints: 45800
2087.27/2093.55 c #Conflicts: 376000 | #Constraints: 46800
2087.27/2093.55 c #Conflicts: 377000 | #Constraints: 47800
2087.27/2093.55 c #Conflicts: 378000 | #Constraints: 48800
2087.27/2093.55 c #Conflicts: 379000 | #Constraints: 49800
2087.27/2093.55 c #Conflicts: 380000 | #Constraints: 50800
2087.27/2093.55 c #Conflicts: 381000 | #Constraints: 51800
2087.27/2093.55 c INPROCESSING
2087.27/2093.55 c GARBAGE COLLECT
2087.27/2093.55 c #Conflicts: 382000 | #Constraints: 40598
2087.27/2093.55 c #Conflicts: 383000 | #Constraints: 41598
2087.27/2093.55 c #Conflicts: 384000 | #Constraints: 42598
2087.27/2093.55 c #Conflicts: 385000 | #Constraints: 43598
2087.27/2093.55 c #Conflicts: 386000 | #Constraints: 44598
2087.27/2093.55 c #Conflicts: 387000 | #Constraints: 45598
2087.27/2093.55 c #Conflicts: 388000 | #Constraints: 46598
2087.27/2093.55 c #Conflicts: 389000 | #Constraints: 47598
2087.27/2093.55 c #Conflicts: 390000 | #Constraints: 48598
2087.27/2093.55 c #Conflicts: 391000 | #Constraints: 49598
2087.27/2093.55 c #Conflicts: 392000 | #Constraints: 50598
2087.27/2093.55 c #Conflicts: 393000 | #Constraints: 51598
2087.27/2093.55 c #Conflicts: 394000 | #Constraints: 52598
2087.27/2093.55 c INPROCESSING
2087.27/2093.55 c GARBAGE COLLECT
2087.27/2093.55 c #Conflicts: 395000 | #Constraints: 41198
2087.27/2093.55 c #Conflicts: 396000 | #Constraints: 42198
2087.27/2093.55 c #Conflicts: 397000 | #Constraints: 43198
2087.27/2093.55 c #Conflicts: 398000 | #Constraints: 44198
2087.27/2093.55 c #Conflicts: 399000 | #Constraints: 45198
2087.27/2093.55 c #Conflicts: 400000 | #Constraints: 46198
2087.27/2093.55 c #Conflicts: 401000 | #Constraints: 47198
2087.27/2093.55 c #Conflicts: 402000 | #Constraints: 48198
2087.27/2093.55 c #Conflicts: 403000 | #Constraints: 49198
2087.27/2093.55 c #Conflicts: 404000 | #Constraints: 50198
2087.27/2093.55 c #Conflicts: 405000 | #Constraints: 51198
2087.27/2093.55 c #Conflicts: 406000 | #Constraints: 52198
2087.27/2093.55 c #Conflicts: 407000 | #Constraints: 53198
2087.27/2093.55 c INPROCESSING
2087.27/2093.55 c GARBAGE COLLECT
2087.27/2093.55 c #Conflicts: 408000 | #Constraints: 41601
2087.27/2093.55 c #Conflicts: 409000 | #Constraints: 42601
2087.27/2093.55 c #Conflicts: 410000 | #Constraints: 43601
2087.27/2093.55 c #Conflicts: 411000 | #Constraints: 44601
2087.27/2093.55 c #Conflicts: 412000 | #Constraints: 45601
2087.27/2093.55 c #Conflicts: 413000 | #Constraints: 46601
2087.27/2093.55 c #Conflicts: 414000 | #Constraints: 47601
2087.27/2093.55 c #Conflicts: 415000 | #Constraints: 48601
2087.27/2093.55 c #Conflicts: 416000 | #Constraints: 49601
2087.27/2093.55 c #Conflicts: 417000 | #Constraints: 50601
2087.27/2093.55 c #Conflicts: 418000 | #Constraints: 51601
2087.27/2093.55 c #Conflicts: 419000 | #Constraints: 52601
2087.27/2093.55 c #Conflicts: 420000 | #Constraints: 53601
2087.27/2093.55 c INPROCESSING
2087.27/2093.55 c GARBAGE COLLECT
2087.27/2093.55 c #Conflicts: 421000 | #Constraints: 41801
2087.27/2093.55 c #Conflicts: 422000 | #Constraints: 42801
2087.27/2093.55 c #Conflicts: 423000 | #Constraints: 43801
2087.27/2093.55 c #Conflicts: 424000 | #Constraints: 44801
2087.27/2093.55 c #Conflicts: 425000 | #Constraints: 45801
2087.27/2093.55 c #Conflicts: 426000 | #Constraints: 46801
2087.27/2093.55 c #Conflicts: 427000 | #Constraints: 47801
2087.27/2093.55 c #Conflicts: 428000 | #Constraints: 48801
2087.27/2093.55 c #Conflicts: 429000 | #Constraints: 49801
2087.27/2093.55 c #Conflicts: 430000 | #Constraints: 50801
2087.27/2093.55 c #Conflicts: 431000 | #Constraints: 51801
2087.27/2093.55 c #Conflicts: 432000 | #Constraints: 52801
2087.27/2093.55 c #Conflicts: 433000 | #Constraints: 53801
2087.27/2093.55 c INPROCESSING
2087.27/2093.55 c GARBAGE COLLECT
2087.27/2093.55 c #Conflicts: 434000 | #Constraints: 41802
2087.27/2093.55 c #Conflicts: 435000 | #Constraints: 42802
2087.27/2093.55 c #Conflicts: 436000 | #Constraints: 43802
2087.27/2093.55 c #Conflicts: 437000 | #Constraints: 44802
2708.66/2716.77 c #Conflicts: 438000 | #Constraints: 45802
2708.66/2716.77 c #Conflicts: 439000 | #Constraints: 46802
2708.66/2716.77 c #Conflicts: 440000 | #Constraints: 47802
2708.66/2716.77 c #Conflicts: 441000 | #Constraints: 48802
2708.66/2716.77 c #Conflicts: 442000 | #Constraints: 49802
2708.66/2716.77 c #Conflicts: 443000 | #Constraints: 50802
2708.66/2716.77 c #Conflicts: 444000 | #Constraints: 51802
2708.66/2716.77 c #Conflicts: 445000 | #Constraints: 52802
2708.66/2716.77 c #Conflicts: 446000 | #Constraints: 53802
2708.66/2716.77 c INPROCESSING
2708.66/2716.77 c GARBAGE COLLECT
2708.66/2716.77 c #Conflicts: 447000 | #Constraints: 41601
2708.66/2716.77 c #Conflicts: 448000 | #Constraints: 42601
2708.66/2716.77 c #Conflicts: 449000 | #Constraints: 43601
2708.66/2716.77 c #Conflicts: 450000 | #Constraints: 44601
2708.66/2716.77 c #Conflicts: 451000 | #Constraints: 45601
2708.66/2716.77 c #Conflicts: 452000 | #Constraints: 46601
2708.66/2716.77 c #Conflicts: 453000 | #Constraints: 47601
2708.66/2716.77 c #Conflicts: 454000 | #Constraints: 48601
2708.66/2716.77 c #Conflicts: 455000 | #Constraints: 49601
2708.66/2716.77 c #Conflicts: 456000 | #Constraints: 50601
2708.66/2716.77 c #Conflicts: 457000 | #Constraints: 51601
2708.66/2716.77 c #Conflicts: 458000 | #Constraints: 52601
2708.66/2716.77 c #Conflicts: 459000 | #Constraints: 53601
2708.66/2716.77 c #Conflicts: 460000 | #Constraints: 54601
2708.66/2716.77 c INPROCESSING
2708.66/2716.77 c GARBAGE COLLECT
2708.66/2716.77 c #Conflicts: 461000 | #Constraints: 42202
2708.66/2716.77 c #Conflicts: 462000 | #Constraints: 43202
2708.66/2716.77 c #Conflicts: 463000 | #Constraints: 44202
2708.66/2716.77 c #Conflicts: 464000 | #Constraints: 45202
2708.66/2716.77 c #Conflicts: 465000 | #Constraints: 46202
2708.66/2716.77 c #Conflicts: 466000 | #Constraints: 47202
2708.66/2716.77 c #Conflicts: 467000 | #Constraints: 48202
2708.66/2716.77 c #Conflicts: 468000 | #Constraints: 49202
2708.66/2716.77 c #Conflicts: 469000 | #Constraints: 50202
2708.66/2716.77 c #Conflicts: 470000 | #Constraints: 51202
2708.66/2716.77 c #Conflicts: 471000 | #Constraints: 52202
2708.66/2716.77 c #Conflicts: 472000 | #Constraints: 53202
2708.66/2716.77 c #Conflicts: 473000 | #Constraints: 54202
2708.66/2716.77 c #Conflicts: 474000 | #Constraints: 55202
2708.66/2716.77 c INPROCESSING
2708.66/2716.77 c GARBAGE COLLECT
2708.66/2716.77 c #Conflicts: 475000 | #Constraints: 42601
2708.66/2716.77 c #Conflicts: 476000 | #Constraints: 43601
2708.66/2716.77 c #Conflicts: 477000 | #Constraints: 44601
2708.66/2716.77 c #Conflicts: 478000 | #Constraints: 45601
2708.66/2716.77 c #Conflicts: 479000 | #Constraints: 46601
2708.66/2716.77 c #Conflicts: 480000 | #Constraints: 47601
2708.66/2716.77 c #Conflicts: 481000 | #Constraints: 48601
2708.66/2716.77 c #Conflicts: 482000 | #Constraints: 49601
2708.66/2716.77 c #Conflicts: 483000 | #Constraints: 50601
2708.66/2716.77 c #Conflicts: 484000 | #Constraints: 51601
2708.66/2716.77 c #Conflicts: 485000 | #Constraints: 52601
2708.66/2716.77 c #Conflicts: 486000 | #Constraints: 53601
2708.66/2716.77 c #Conflicts: 487000 | #Constraints: 54601
2708.66/2716.77 c #Conflicts: 488000 | #Constraints: 55601
2708.66/2716.77 c INPROCESSING
2708.66/2716.77 c GARBAGE COLLECT
2708.66/2716.77 c #Conflicts: 489000 | #Constraints: 42805
2708.66/2716.77 c #Conflicts: 490000 | #Constraints: 43805
2708.66/2716.77 c #Conflicts: 491000 | #Constraints: 44805
2708.66/2716.77 c #Conflicts: 492000 | #Constraints: 45805
2708.66/2716.77 c #Conflicts: 493000 | #Constraints: 46805
2708.66/2716.77 c #Conflicts: 494000 | #Constraints: 47805
2708.66/2716.77 c #Conflicts: 495000 | #Constraints: 48805
2708.66/2716.77 c #Conflicts: 496000 | #Constraints: 49805
2708.66/2716.77 c #Conflicts: 497000 | #Constraints: 50805
2708.66/2716.77 c #Conflicts: 498000 | #Constraints: 51805
2708.66/2716.77 c #Conflicts: 499000 | #Constraints: 52805
2708.66/2716.77 c #Conflicts: 500000 | #Constraints: 53805
2708.66/2716.77 c #Conflicts: 501000 | #Constraints: 54805
2708.66/2716.77 c #Conflicts: 502000 | #Constraints: 55805
2708.66/2716.77 c INPROCESSING
2708.66/2716.77 c GARBAGE COLLECT
2708.66/2716.77 c #Conflicts: 503000 | #Constraints: 42806
2708.66/2716.77 c #Conflicts: 504000 | #Constraints: 43806
2708.66/2716.77 c #Conflicts: 505000 | #Constraints: 44806
2708.66/2716.77 c #Conflicts: 506000 | #Constraints: 45806
2708.66/2716.77 c #Conflicts: 507000 | #Constraints: 46806
2708.66/2716.77 c #Conflicts: 508000 | #Constraints: 47806
2708.66/2716.77 c #Conflicts: 509000 | #Constraints: 48806
2708.66/2716.77 c #Conflicts: 510000 | #Constraints: 49806
2708.66/2716.77 c #Conflicts: 511000 | #Constraints: 50806
2708.66/2716.77 c #Conflicts: 512000 | #Constraints: 51806
2708.66/2716.77 c #Conflicts: 513000 | #Constraints: 52806
3288.12/3297.82 c #Conflicts: 514000 | #Constraints: 53806
3288.12/3297.82 c #Conflicts: 515000 | #Constraints: 54806
3288.12/3297.82 c #Conflicts: 516000 | #Constraints: 55806
3288.12/3297.82 c INPROCESSING
3288.12/3297.82 c GARBAGE COLLECT
3288.12/3297.82 c #Conflicts: 517000 | #Constraints: 42605
3288.12/3297.82 c #Conflicts: 518000 | #Constraints: 43605
3288.12/3297.82 c #Conflicts: 519000 | #Constraints: 44605
3288.12/3297.82 c #Conflicts: 520000 | #Constraints: 45605
3288.12/3297.82 c #Conflicts: 521000 | #Constraints: 46605
3288.12/3297.82 c #Conflicts: 522000 | #Constraints: 47605
3288.12/3297.82 c #Conflicts: 523000 | #Constraints: 48605
3288.12/3297.82 c #Conflicts: 524000 | #Constraints: 49605
3288.12/3297.82 c #Conflicts: 525000 | #Constraints: 50605
3288.12/3297.82 c #Conflicts: 526000 | #Constraints: 51605
3288.12/3297.82 c #Conflicts: 527000 | #Constraints: 52605
3288.12/3297.82 c #Conflicts: 528000 | #Constraints: 53605
3288.12/3297.82 c #Conflicts: 529000 | #Constraints: 54605
3288.12/3297.82 c #Conflicts: 530000 | #Constraints: 55605
3288.12/3297.82 c #Conflicts: 531000 | #Constraints: 56605
3288.12/3297.82 c INPROCESSING
3288.12/3297.82 c GARBAGE COLLECT
3288.12/3297.82 c #Conflicts: 532000 | #Constraints: 43203
3288.12/3297.82 c #Conflicts: 533000 | #Constraints: 44203
3288.12/3297.82 c #Conflicts: 534000 | #Constraints: 45203
3288.12/3297.82 c #Conflicts: 535000 | #Constraints: 46203
3288.12/3297.82 c #Conflicts: 536000 | #Constraints: 47203
3288.12/3297.82 c #Conflicts: 537000 | #Constraints: 48203
3288.12/3297.82 c #Conflicts: 538000 | #Constraints: 49203
3288.12/3297.82 c #Conflicts: 539000 | #Constraints: 50203
3288.12/3297.82 c #Conflicts: 540000 | #Constraints: 51203
3288.12/3297.82 c #Conflicts: 541000 | #Constraints: 52203
3288.12/3297.82 c #Conflicts: 542000 | #Constraints: 53203
3288.12/3297.82 c #Conflicts: 543000 | #Constraints: 54203
3288.12/3297.82 c #Conflicts: 544000 | #Constraints: 55203
3288.12/3297.82 c #Conflicts: 545000 | #Constraints: 56203
3288.12/3297.82 c #Conflicts: 546000 | #Constraints: 57203
3288.12/3297.82 c INPROCESSING
3288.12/3297.82 c GARBAGE COLLECT
3288.12/3297.82 c #Conflicts: 547000 | #Constraints: 43600
3288.12/3297.82 c #Conflicts: 548000 | #Constraints: 44600
3288.12/3297.82 c #Conflicts: 549000 | #Constraints: 45600
3288.12/3297.82 c #Conflicts: 550000 | #Constraints: 46600
3288.12/3297.82 c #Conflicts: 551000 | #Constraints: 47600
3288.12/3297.82 c #Conflicts: 552000 | #Constraints: 48600
3288.12/3297.82 c #Conflicts: 553000 | #Constraints: 49600
3288.12/3297.82 c #Conflicts: 554000 | #Constraints: 50600
3288.12/3297.82 c #Conflicts: 555000 | #Constraints: 51600
3288.12/3297.82 c #Conflicts: 556000 | #Constraints: 52600
3288.12/3297.82 c #Conflicts: 557000 | #Constraints: 53600
3288.12/3297.82 c #Conflicts: 558000 | #Constraints: 54600
3288.12/3297.82 c #Conflicts: 559000 | #Constraints: 55600
3288.12/3297.82 c #Conflicts: 560000 | #Constraints: 56600
3288.12/3297.82 c #Conflicts: 561000 | #Constraints: 57600
3288.12/3297.82 c INPROCESSING
3288.12/3297.82 c GARBAGE COLLECT
3288.12/3297.82 c #Conflicts: 562000 | #Constraints: 43799
3288.12/3297.82 c #Conflicts: 563000 | #Constraints: 44799
3288.12/3297.82 c #Conflicts: 564000 | #Constraints: 45799
3288.12/3297.82 c #Conflicts: 565000 | #Constraints: 46799
3288.12/3297.82 c #Conflicts: 566000 | #Constraints: 47799
3288.12/3297.82 c #Conflicts: 567000 | #Constraints: 48799
3288.12/3297.82 c #Conflicts: 568000 | #Constraints: 49799
3288.12/3297.82 c #Conflicts: 569000 | #Constraints: 50799
3288.12/3297.82 c #Conflicts: 570000 | #Constraints: 51799
3288.12/3297.82 c #Conflicts: 571000 | #Constraints: 52799
3288.12/3297.82 c #Conflicts: 572000 | #Constraints: 53799
3288.12/3297.82 c #Conflicts: 573000 | #Constraints: 54799
3288.12/3297.82 c #Conflicts: 574000 | #Constraints: 55799
3288.12/3297.82 c #Conflicts: 575000 | #Constraints: 56799
3288.12/3297.82 c #Conflicts: 576000 | #Constraints: 57799
3288.12/3297.82 c INPROCESSING
3288.12/3297.82 c GARBAGE COLLECT
3288.12/3297.82 c #Conflicts: 577000 | #Constraints: 43799
3288.12/3297.82 c #Conflicts: 578000 | #Constraints: 44799
3288.12/3297.82 c #Conflicts: 579000 | #Constraints: 45799
3288.12/3297.82 c #Conflicts: 580000 | #Constraints: 46799
3288.12/3297.82 c #Conflicts: 581000 | #Constraints: 47799
3288.12/3297.82 c #Conflicts: 582000 | #Constraints: 48799
3288.12/3297.82 c #Conflicts: 583000 | #Constraints: 49799
3288.12/3297.82 c #Conflicts: 584000 | #Constraints: 50799
3288.12/3297.82 c #Conflicts: 585000 | #Constraints: 51799
3288.12/3297.82 c #Conflicts: 586000 | #Constraints: 52799
3288.12/3297.82 c #Conflicts: 587000 | #Constraints: 53799
3288.12/3297.82 c #Conflicts: 588000 | #Constraints: 54799
3600.04/3610.60 c #Conflicts: 589000 | #Constraints: 55799
3600.04/3610.60 c #Conflicts: 590000 | #Constraints: 56799
3600.04/3610.60 c #Conflicts: 591000 | #Constraints: 57799
3600.04/3610.60 c INPROCESSING
3600.04/3610.60 c GARBAGE COLLECT
3600.04/3610.60 c #Conflicts: 592000 | #Constraints: 43599
3600.04/3610.60 c #Conflicts: 593000 | #Constraints: 44599
3600.04/3610.60 c #Conflicts: 594000 | #Constraints: 45599
3600.04/3610.60 c #Conflicts: 595000 | #Constraints: 46599
3600.04/3610.60 c #Conflicts: 596000 | #Constraints: 47599
3600.04/3610.60 c #Conflicts: 597000 | #Constraints: 48599
3600.04/3610.60 c #Conflicts: 598000 | #Constraints: 49599
3600.04/3610.60 c #Conflicts: 599000 | #Constraints: 50599
3600.04/3610.60 c #Conflicts: 600000 | #Constraints: 51599
3600.04/3610.60 c #Conflicts: 601000 | #Constraints: 52599
3600.04/3610.60 c #Conflicts: 602000 | #Constraints: 53599
3600.04/3610.60 c #Conflicts: 603000 | #Constraints: 54599
3600.04/3610.60 c #Conflicts: 604000 | #Constraints: 55599
3600.04/3610.60 c #Conflicts: 605000 | #Constraints: 56599
3600.04/3610.60 c #Conflicts: 606000 | #Constraints: 57599
3600.04/3610.60 c #Conflicts: 607000 | #Constraints: 58599
3600.04/3610.60 c INPROCESSING
3600.04/3610.60 c GARBAGE COLLECT
3600.04/3610.60 c #Conflicts: 608000 | #Constraints: 44203
3600.04/3610.60 c #Conflicts: 609000 | #Constraints: 45203
3600.04/3610.60 c #Conflicts: 610000 | #Constraints: 46203
3600.04/3610.60 c #Conflicts: 611000 | #Constraints: 47203
3600.04/3610.60 c #Conflicts: 612000 | #Constraints: 48203
3600.04/3610.60 c #Conflicts: 613000 | #Constraints: 49203
3600.04/3610.60 c #Conflicts: 614000 | #Constraints: 50203
3600.04/3610.60 c #Conflicts: 615000 | #Constraints: 51203
3600.04/3610.60 c #Conflicts: 616000 | #Constraints: 52203
3600.04/3610.60 c #Conflicts: 617000 | #Constraints: 53203
3600.04/3610.60 c #Conflicts: 618000 | #Constraints: 54203
3600.04/3610.60 c #Conflicts: 619000 | #Constraints: 55203
3600.04/3610.60 c #Conflicts: 620000 | #Constraints: 56203
3600.04/3610.60 c #Conflicts: 621000 | #Constraints: 57203
3600.04/3610.60 c cpu time 3596.69 s
3600.04/3610.60 c deterministic time 1 1.00e+00
3600.04/3610.60 c optimization time 3596.62 s
3600.04/3610.60 c total solve time 0 s
3600.04/3610.60 c core-guided solve time 0 s
3600.04/3610.60 c propagation time 0.007356 s
3600.04/3610.60 c conflict analysis time 0 s
3600.04/3610.60 c propagations 0
3600.04/3610.60 c resolve steps 0
3600.04/3610.60 c decisions 0
3600.04/3610.60 c conflicts 0
3600.04/3610.60 c restarts 0
3600.04/3610.60 c inprocessing phases 0
3600.04/3610.60 c garbage collections 0 ,( -nan )
3600.04/3610.60 c input clauses 27931 ,( 100.00 )
3600.04/3610.60 c input cardinalities 0 ,( 0.00 )
3600.04/3610.60 c input general constraints 0 ,( 0.00 )
3600.04/3610.60 c input average constraint length 2.00
3600.04/3610.60 c input average constraint degree 1.00
3600.04/3610.60 c learned clauses 0 ,( 0.00 )
3600.04/3610.60 c learned cardinalities 0 ,( 0.00 )
3600.04/3610.60 c learned general constraints 0 ,( 0.00 )
3600.04/3610.60 c learned average constraint length 0.00
3600.04/3610.60 c learned average constraint degree 0.00
3600.04/3610.60 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3610.60 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3610.60 c watched constraints 0 ,( -nan )
3600.04/3610.60 c counting constraints 0 ,( -nan )
3600.04/3610.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3610.60 c gcd simplifications 0
3600.04/3610.60 c detected cardinalities 0
3600.04/3610.60 c weakened non-implied lits 0
3600.04/3610.60 c weakened non-implying lits 0
3600.04/3610.60 c original variables 595
3600.04/3610.60 c clausal propagations 0
3600.04/3610.60 c cardinality propagations 0
3600.04/3610.60 c watched propagations 0
3600.04/3610.60 c counting propagations 0
3600.04/3610.60 c watch lookups 0
3600.04/3610.60 c watch backjump lookups 0
3600.04/3610.60 c watch checks 0
3600.04/3610.60 c propagation checks 0
3600.04/3610.60 c constraint additions 0
3600.04/3610.60 c trail pops 0
3600.04/3610.60 c formula constraints 27931
3600.04/3610.60 c learned constraints 0
3600.04/3610.60 c bound constraints 0
3600.04/3610.60 c core-guided constraints 0
3600.04/3610.60 c encountered formula constraints 0
3600.04/3610.60 c encountered learned constraints 0
3600.04/3610.60 c encountered bound constraints 0
3600.04/3610.60 c encountered core-guided constraints 0
3600.04/3610.60 c LP total time 0 s
3600.04/3610.60 c LP solve time 0 s
3600.04/3610.60 c LP constraints added 0
3600.04/3610.60 c LP constraints removed 0
3600.04/3610.60 c LP pivots internal 0
3600.04/3610.60 c LP pivots root 0
3600.04/3610.60 c LP calls 0
3600.04/3610.60 c LP optimalities 0
3600.04/3610.60 c LP no pivot count 0
3600.04/3610.60 c LP infeasibilities 0
3600.04/3610.60 c LP valid Farkas constraints 0
3600.04/3610.60 c LP learned Farkas constraints 0
3600.04/3610.60 c LP basis resets 0
3600.04/3610.60 c LP cycling count 0
3600.04/3610.60 c LP singular count 0
3600.04/3610.60 c LP no primal count 0
3600.04/3610.60 c LP no farkas count 0
3600.04/3610.60 c LP other issue count 0
3600.04/3610.60 c LP Gomory cuts 0
3600.04/3610.60 c LP learned cuts 0
3600.04/3610.60 c LP deleted cuts 0
3600.04/3610.60 c LP encountered Gomory constraints 0
3600.04/3610.60 c LP encountered Farkas constraints 0
3600.04/3610.60 c LP encountered learned Farkas constraints 0
3600.04/3610.60 c CG auxiliary variables introduced 0
3600.04/3610.60 c CG solutions found 0
3600.04/3610.60 c CG cores constructed 0
3600.04/3610.60 c CG core cardinality constraints returned 0
3600.04/3610.60 c CG unit cores 0
3600.04/3610.60 c CG single cores 0
3600.04/3610.60 c CG blocks removed during cardinality reduction 0
3600.04/3610.60 c CG first core best 0
3600.04/3610.60 c CG decision core best 0
3600.04/3610.60 c CG core reduction tie 0
3600.04/3610.60 c CG core degree average 0.00
3600.04/3610.60 c CG core slack average 0.00
3600.04/3610.60 c CG core upper bound improvements 0
3600.04/3610.60 c STR number of successful calls 0
3600.04/3610.60 c STR number of unsuccessful calls 0
3600.04/3610.60 c STR number of inconclusive calls 0
3600.04/3610.60 c STR number of successful attempts 0
3600.04/3610.60 c STR number of unsuccessful attempts 0
3600.04/3610.60 c STR number of inconclusive attempts 0
3600.04/3610.60 c STR average degree increase per successful call inf
3600.04/3610.60 c STR average degree increase per successful attempt inf
3600.04/3610.60 c STR total number of conflicts for successful attempts 0
3600.04/3610.60 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.60 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.60 c STR average number of conflicts per successful attempt inf
3600.04/3610.60 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.60 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.60 c AVG.sumWPerc -nan
3600.04/3610.60 c bigint constraints 0
3600.04/3610.60 s UNKNOWN
3600.04/3610.60 c Program interrupted by user.
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 (60124 MiB free)
memory of node 1: 64465 MiB (61394 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485044-1751299458/watcher-4485044-1751299458 -o /tmp/evaluation-result-4485044-1751299458/solver-4485044-1751299458 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39125 --watchdog 3760 run-opt.sh HOME/instance-4485044-1751299458.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB
solver pid=40016, runsolver pid=40013
[startup+0.100066 s]*
/proc/loadavg: 4.11 4.10 4.09 5/267 40018
/proc/meminfo: memFree=124416988/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=76236 memory=28416 CPUtime=0.08 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 3662 0 0 0 6 2 0 0 20 0 1 0 45620340 78065664 7104 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 19059 7104 2272 1147 0 6486 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 80428 KiB
Current children cumulated memory: 31488 KiB
[startup+0.206008 s]*
/proc/loadavg: 4.11 4.10 4.09 5/267 40018
/proc/meminfo: memFree=124401112/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=98676 memory=51316 CPUtime=0.19 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 8367 0 0 0 14 5 0 0 20 0 1 0 45620340 101044224 12829 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 24669 12829 2368 1147 0 12096 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 102868 KiB
Current children cumulated memory: 54388 KiB
[startup+0.305615 s]*
/proc/loadavg: 4.11 4.10 4.09 5/267 40018
/proc/meminfo: memFree=124393048/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=98676 memory=52212 CPUtime=0.29 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 8575 0 0 0 23 6 0 0 20 0 1 0 45620340 101044224 13053 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 24669 13053 2368 1147 0 12096 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 102868 KiB
Current children cumulated memory: 55284 KiB
[startup+0.700191 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 40018
/proc/meminfo: memFree=124384812/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=98676 memory=53108 CPUtime=0.67 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 8792 0 0 0 61 6 0 0 20 0 1 0 45620340 101044224 13277 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 24669 13277 2368 1147 0 12096 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 102868 KiB
Current children cumulated memory: 56180 KiB
[startup+1.50018 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 40018
/proc/meminfo: memFree=124380716/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=98676 memory=53108 CPUtime=1.47 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 8801 0 0 0 141 6 0 0 20 0 1 0 45620340 101044224 13277 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 24669 13277 2368 1147 0 12096 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 102868 KiB
Current children cumulated memory: 56180 KiB
[startup+3.1056 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 40018
/proc/meminfo: memFree=124361080/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=117656 memory=66240 CPUtime=3.08 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 9006 0 0 0 300 8 0 0 20 0 1 0 45620340 120479744 16560 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 29414 16560 2368 1147 0 16841 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121848 KiB
Current children cumulated memory: 69312 KiB
[startup+6.30019 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 40018
/proc/meminfo: memFree=124344728/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=117656 memory=70348 CPUtime=6.26 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 9019 0 0 0 617 9 0 0 20 0 1 0 45620340 120479744 17587 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 29414 17587 2368 1147 0 16841 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 121848 KiB
Current children cumulated memory: 73420 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 40019
/proc/meminfo: memFree=124336572/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=117656 memory=71628 CPUtime=12.64 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 9371 0 0 0 1254 10 0 0 20 0 1 0 45620340 120479744 17907 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 29414 17907 2368 1147 0 16841 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 121848 KiB
Current children cumulated memory: 74700 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 40020
/proc/meminfo: memFree=124324252/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=131212 memory=77664 CPUtime=25.41 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 10362 0 0 0 2526 15 0 0 20 0 1 0 45620340 134361088 19416 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 32803 19416 2368 1147 0 20230 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 135404 KiB
Current children cumulated memory: 80736 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 40020
/proc/meminfo: memFree=124295384/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=138376 memory=89348 CPUtime=50.94 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 11737 0 0 0 5072 22 0 0 20 0 1 0 45620340 141697024 22337 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 34594 22337 2368 1147 0 22021 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 142568 KiB
Current children cumulated memory: 92420 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/268 40022
/proc/meminfo: memFree=124250820/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=167536 memory=103204 CPUtime=101.99 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 14209 0 0 0 10164 35 0 0 20 0 1 0 45620340 171556864 25801 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 41884 25801 2368 1147 0 29311 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 171728 KiB
Current children cumulated memory: 106276 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 40069
/proc/meminfo: memFree=124523988/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=174720 memory=113880 CPUtime=161.79 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 15851 0 0 0 16132 47 0 0 20 0 1 0 45620340 178913280 28470 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 43680 28470 2368 1147 0 31107 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 178912 KiB
Current children cumulated memory: 116952 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 40076
/proc/meminfo: memFree=124485592/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=180708 memory=122968 CPUtime=221.58 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 17108 0 0 0 22102 56 0 0 20 0 1 0 45620340 185044992 30742 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 45177 30742 2368 1147 0 32604 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/40018/statm: 86693 66278 2368 1147 0 74120 0
Current children cumulated CPU time: 3033.34 s
Current children cumulated vsize: 350964 KiB
Current children cumulated memory: 268184 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 40210
/proc/meminfo: memFree=123740412/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=349848 memory=271224 CPUtime=3093.17 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 35098 0 0 0 309015 302 0 0 20 0 1 0 45620340 358244352 67806 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 87462 67806 2368 1147 0 74889 0
Current children cumulated CPU time: 3093.17 s
Current children cumulated vsize: 354040 KiB
Current children cumulated memory: 274296 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 40212
/proc/meminfo: memFree=123704944/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=349848 memory=275576 CPUtime=3153 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 35099 0 0 0 314994 306 0 0 20 0 1 0 45620340 358244352 68894 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 87462 68894 2368 1147 0 74889 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 354040 KiB
Current children cumulated memory: 278648 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 40218
/proc/meminfo: memFree=123718632/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=351060 memory=276472 CPUtime=3212.84 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 35327 0 0 0 320973 311 0 0 20 0 1 0 45620340 359485440 69118 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 87765 69118 2368 1147 0 75192 0
Current children cumulated CPU time: 3212.84 s
Current children cumulated vsize: 355252 KiB
Current children cumulated memory: 279544 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 40220
/proc/meminfo: memFree=123717592/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=351060 memory=276472 CPUtime=3272.66 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 35327 0 0 0 326952 314 0 0 20 0 1 0 45620340 359485440 69118 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 87765 69118 2368 1147 0 75192 0
Current children cumulated CPU time: 3272.66 s
Current children cumulated vsize: 355252 KiB
Current children cumulated memory: 279544 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/268 40226
/proc/meminfo: memFree=123701336/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=353624 memory=278136 CPUtime=3332.5 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 35736 0 0 0 332932 318 0 0 20 0 1 0 45620340 362110976 69534 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 88406 69534 2368 1147 0 75833 0
Current children cumulated CPU time: 3332.5 s
Current children cumulated vsize: 357816 KiB
Current children cumulated memory: 281208 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/268 40228
/proc/meminfo: memFree=123681244/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=353624 memory=278136 CPUtime=3392.32 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 35736 0 0 0 338910 322 0 0 20 0 1 0 45620340 362110976 69534 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 88406 69534 2368 1147 0 75833 0
Current children cumulated CPU time: 3392.32 s
Current children cumulated vsize: 357816 KiB
Current children cumulated memory: 281208 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 40241
/proc/meminfo: memFree=123681444/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=353624 memory=278136 CPUtime=3452.15 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 35738 0 0 0 344890 325 0 0 20 0 1 0 45620340 362110976 69534 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 88406 69534 2368 1147 0 75833 0
Current children cumulated CPU time: 3452.15 s
Current children cumulated vsize: 357816 KiB
Current children cumulated memory: 281208 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 40243
/proc/meminfo: memFree=123669012/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=355744 memory=281896 CPUtime=3511.98 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 36171 0 0 0 350869 329 0 0 20 0 1 0 45620340 364281856 70474 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 88936 70474 2368 1147 0 76363 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 359936 KiB
Current children cumulated memory: 284968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/268 40245
/proc/meminfo: memFree=123665664/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=355744 memory=281896 CPUtime=3571.81 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 36171 0 0 0 356848 333 0 0 20 0 1 0 45620340 364281856 70474 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 88936 70474 2368 1147 0 76363 0
Current children cumulated CPU time: 3571.81 s
Current children cumulated vsize: 359936 KiB
Current children cumulated memory: 284968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.06 4.08 4.09 3/257 40262
/proc/meminfo: memFree=124498188/131249992 swapFree=33010160/33010684
[pid=40016] ppid=40013 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/40016/stat : 40016 (run-opt.sh) S 40013 40016 39107 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 45620339 4292608 768 18446744073709551615 94850544775168 94850545669701 140733570509760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94850545908752 94850545956496 94850579316736 140733570513261 140733570513384 140733570513384 140733570518986 0
/proc/40016/statm: 1048 768 704 219 0 110 0
[pid=40018] ppid=40016 vsize=355744 memory=281896 CPUtime=3600.04 cores=5,7
/proc/40018/stat : 40018 (roundingsat) R 40016 40016 39107 0 -1 4194304 36171 0 0 0 359669 335 0 0 20 0 1 0 45620340 364281856 70474 18446744073709551615 4227072 8923433 140735684701792 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11612160 140735684708770 140735684708904 140735684708904 140735684714474 0
/proc/40018/statm: 88936 70474 2368 1147 0 76363 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 359936 KiB
Current children cumulated memory: 284968 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.6 s]
# the end of solver process 40016 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002031 s
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 40018 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3596.7 s, system=3.35416 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
Child status: 2
Real time (s): 3610.61
CPU time (s): 3600.05
CPU user time (s): 3596.7
CPU system time (s): 3.35416
CPU usage (%): 99.7076
Max. virtual memory (cumulated for all children) (KiB): 359936
Max. memory (cumulated for all children) (KiB): 284968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.7
system time used= 3.35416
maximum resident set size= 282280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36403
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 224
involuntary context switches= 20043
# summary of solver processes directly reported to runsolver:
# pid: 40016,40018
# total CPU time (s): 3600.05
# total CPU user time (s): 3596.7
# total CPU system time (s): 3.35416
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.78269 second user time and 16.379 second system time
The end
Begin job on nodeC035 at 2025-06-30 18:04:18
IDJOB=4485044
IDBENCH=146691
IDSOLVER=3350
FILE ID=nodeC035/4485044-1751299458
RUNJOBID= nodeC035-1751292233-39125
SLURM_JOB_ID= 9594262
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485044-1751299458/watcher-4485044-1751299458 -o /tmp/evaluation-result-4485044-1751299458/solver-4485044-1751299458 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39125 --watchdog 3760 run-opt.sh HOME/instance-4485044-1751299458.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e50abc2725c4e3a238fbda7c772437b2
RANDOM SEED=781912770
nodeC035 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 : 3599.778
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.51
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.759
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.51
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 : 3602.222
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.51
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 : 3644.287
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.51
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 : 3599.737
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.51
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.290
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.51
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.167
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.51
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.741
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 124435672 kB
MemAvailable: 129086016 kB
Buffers: 1840 kB
Cached: 5403796 kB
SwapCached: 8 kB
Active: 989736 kB
Inactive: 5124340 kB
Active(anon): 714864 kB
Inactive(anon): 11624 kB
Active(file): 274872 kB
Inactive(file): 5112716 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25884 kB
Writeback: 28 kB
AnonPages: 710428 kB
Mapped: 115760 kB
Shmem: 18048 kB
KReclaimable: 203992 kB
Slab: 292692 kB
SReclaimable: 203992 kB
SUnreclaim: 88700 kB
KernelStack: 4304 kB
PageTables: 4176 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1129120 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 524288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC035 at 2025-06-30 19:04:29