0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.12 c #variables 11400 #constraints 22575
0.08/0.12 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 - >= 0 @ 0.109654
0.08/0.17 c GLOBAL bounds - >= 0 @ 0.111064
155.19/155.98 c #Conflicts: 1000 | #Constraints: 12400
155.19/155.98 c #Conflicts: 2000 | #Constraints: 13400
155.19/155.98 c INPROCESSING
155.19/155.98 c #Conflicts: 3000 | #Constraints: 14194
155.19/155.98 c #Conflicts: 4000 | #Constraints: 15194
155.19/155.98 c #Conflicts: 5000 | #Constraints: 16194
155.19/155.98 c #Conflicts: 6000 | #Constraints: 17194
155.19/155.98 c INPROCESSING
155.19/155.98 c GARBAGE COLLECT
155.19/155.98 c #Conflicts: 7000 | #Constraints: 16078
155.19/155.98 c #Conflicts: 8000 | #Constraints: 17078
155.19/155.98 c #Conflicts: 9000 | #Constraints: 18078
155.19/155.98 c #Conflicts: 10000 | #Constraints: 19078
155.19/155.98 c INPROCESSING
155.19/155.98 c GARBAGE COLLECT
155.19/155.98 c #Conflicts: 11000 | #Constraints: 16356
155.19/155.98 c #Conflicts: 12000 | #Constraints: 17356
155.19/155.98 c #Conflicts: 13000 | #Constraints: 18356
155.19/155.98 c #Conflicts: 14000 | #Constraints: 19356
155.19/155.98 c INPROCESSING
155.19/155.98 c GARBAGE COLLECT
155.19/155.98 c #Conflicts: 15000 | #Constraints: 16526
155.19/155.98 c #Conflicts: 16000 | #Constraints: 17526
155.19/155.98 c #Conflicts: 17000 | #Constraints: 18526
155.19/155.98 c #Conflicts: 18000 | #Constraints: 19526
155.19/155.98 c INPROCESSING
155.19/155.98 c GARBAGE COLLECT
155.19/155.98 c #Conflicts: 19000 | #Constraints: 16718
155.19/155.98 c #Conflicts: 20000 | #Constraints: 17718
155.19/155.98 c #Conflicts: 21000 | #Constraints: 18718
155.19/155.98 c #Conflicts: 22000 | #Constraints: 19718
155.19/155.98 c INPROCESSING
155.19/155.98 c GARBAGE COLLECT
155.19/155.98 c #Conflicts: 23000 | #Constraints: 16600
155.19/155.98 c #Conflicts: 24000 | #Constraints: 17600
155.19/155.98 c #Conflicts: 25000 | #Constraints: 18600
155.19/155.98 c #Conflicts: 26000 | #Constraints: 19600
155.19/155.98 c INPROCESSING
155.19/155.98 c GARBAGE COLLECT
155.19/155.98 c #Conflicts: 27000 | #Constraints: 16333
155.19/155.98 c #Conflicts: 28000 | #Constraints: 17333
155.19/155.98 c #Conflicts: 29000 | #Constraints: 18333
155.19/155.98 c #Conflicts: 30000 | #Constraints: 19333
155.19/155.98 c #Conflicts: 31000 | #Constraints: 20333
155.19/155.98 c INPROCESSING
155.19/155.98 c GARBAGE COLLECT
155.19/155.98 c #Conflicts: 32000 | #Constraints: 16904
155.19/155.98 c #Conflicts: 33000 | #Constraints: 17904
155.19/155.98 c #Conflicts: 34000 | #Constraints: 18904
155.19/155.98 c #Conflicts: 35000 | #Constraints: 19904
155.19/155.98 c #Conflicts: 36000 | #Constraints: 20904
155.19/155.98 c INPROCESSING
155.19/155.98 c GARBAGE COLLECT
155.19/155.98 c #Conflicts: 37000 | #Constraints: 17263
155.19/155.98 c #Conflicts: 38000 | #Constraints: 18263
155.19/155.98 c #Conflicts: 39000 | #Constraints: 19263
155.19/155.98 c #Conflicts: 40000 | #Constraints: 20263
155.19/155.98 c #Conflicts: 41000 | #Constraints: 21263
155.19/155.98 c INPROCESSING
155.19/155.98 c GARBAGE COLLECT
155.19/155.98 c #Conflicts: 42000 | #Constraints: 17461
155.19/155.98 c #Conflicts: 43000 | #Constraints: 18461
155.19/155.98 c #Conflicts: 44000 | #Constraints: 19461
155.19/155.98 c #Conflicts: 45000 | #Constraints: 20461
155.19/155.98 c #Conflicts: 46000 | #Constraints: 21461
155.19/155.98 c INPROCESSING
155.19/155.98 c GARBAGE COLLECT
155.19/155.98 c #Conflicts: 47000 | #Constraints: 17458
155.19/155.98 c #Conflicts: 48000 | #Constraints: 18458
155.19/155.98 c #Conflicts: 49000 | #Constraints: 19458
155.19/155.98 c #Conflicts: 50000 | #Constraints: 20458
155.19/155.98 c #Conflicts: 51000 | #Constraints: 21458
155.19/155.98 c INPROCESSING
155.19/155.98 c GARBAGE COLLECT
155.19/155.98 c #Conflicts: 52000 | #Constraints: 17281
155.19/155.98 c #Conflicts: 53000 | #Constraints: 18281
155.19/155.98 c #Conflicts: 54000 | #Constraints: 19281
155.19/155.98 c #Conflicts: 55000 | #Constraints: 20281
155.19/155.98 c #Conflicts: 56000 | #Constraints: 21281
155.19/155.98 c #Conflicts: 57000 | #Constraints: 22281
155.19/155.98 c INPROCESSING
155.19/155.98 c GARBAGE COLLECT
155.19/155.98 c #Conflicts: 58000 | #Constraints: 17870
155.19/155.98 c #Conflicts: 59000 | #Constraints: 18870
155.19/155.98 c #Conflicts: 60000 | #Constraints: 19870
155.19/155.98 c #Conflicts: 61000 | #Constraints: 20870
155.19/155.98 c #Conflicts: 62000 | #Constraints: 21870
155.19/155.98 c #Conflicts: 63000 | #Constraints: 22870
155.19/155.98 c INPROCESSING
155.19/155.98 c GARBAGE COLLECT
155.19/155.98 c #Conflicts: 64000 | #Constraints: 18256
155.19/155.98 c #Conflicts: 65000 | #Constraints: 19256
155.19/155.98 c #Conflicts: 66000 | #Constraints: 20256
155.19/155.98 c #Conflicts: 67000 | #Constraints: 21256
155.19/155.98 c #Conflicts: 68000 | #Constraints: 22256
155.19/155.98 c #Conflicts: 69000 | #Constraints: 23256
155.19/155.98 c INPROCESSING
155.19/155.98 c GARBAGE COLLECT
155.19/155.98 c #Conflicts: 70000 | #Constraints: 18453
362.86/364.64 c #Conflicts: 71000 | #Constraints: 19453
362.86/364.64 c #Conflicts: 72000 | #Constraints: 20453
362.86/364.64 c #Conflicts: 73000 | #Constraints: 21453
362.86/364.64 c #Conflicts: 74000 | #Constraints: 22453
362.86/364.64 c #Conflicts: 75000 | #Constraints: 23453
362.86/364.64 c INPROCESSING
362.86/364.64 c GARBAGE COLLECT
362.86/364.64 c #Conflicts: 76000 | #Constraints: 18475
362.86/364.64 c #Conflicts: 77000 | #Constraints: 19475
362.86/364.64 c #Conflicts: 78000 | #Constraints: 20475
362.86/364.64 c #Conflicts: 79000 | #Constraints: 21475
362.86/364.64 c #Conflicts: 80000 | #Constraints: 22475
362.86/364.64 c #Conflicts: 81000 | #Constraints: 23475
362.86/364.64 c INPROCESSING
362.86/364.64 c GARBAGE COLLECT
362.86/364.64 c #Conflicts: 82000 | #Constraints: 18266
362.86/364.64 c #Conflicts: 83000 | #Constraints: 19266
362.86/364.64 c #Conflicts: 84000 | #Constraints: 20266
362.86/364.64 c #Conflicts: 85000 | #Constraints: 21266
362.86/364.64 c #Conflicts: 86000 | #Constraints: 22266
362.86/364.64 c #Conflicts: 87000 | #Constraints: 23266
362.86/364.64 c #Conflicts: 88000 | #Constraints: 24266
362.86/364.64 c INPROCESSING
362.86/364.64 c GARBAGE COLLECT
362.86/364.64 c #Conflicts: 89000 | #Constraints: 18834
362.86/364.64 c #Conflicts: 90000 | #Constraints: 19834
362.86/364.64 c #Conflicts: 91000 | #Constraints: 20834
362.86/364.64 c #Conflicts: 92000 | #Constraints: 21834
362.86/364.64 c #Conflicts: 93000 | #Constraints: 22834
362.86/364.64 c #Conflicts: 94000 | #Constraints: 23834
362.86/364.64 c #Conflicts: 95000 | #Constraints: 24834
362.86/364.64 c INPROCESSING
362.86/364.64 c GARBAGE COLLECT
362.86/364.64 c #Conflicts: 96000 | #Constraints: 19220
362.86/364.64 c #Conflicts: 97000 | #Constraints: 20220
362.86/364.64 c #Conflicts: 98000 | #Constraints: 21220
362.86/364.64 c #Conflicts: 99000 | #Constraints: 22220
362.86/364.64 c #Conflicts: 100000 | #Constraints: 23220
362.86/364.64 c #Conflicts: 101000 | #Constraints: 24220
362.86/364.64 c #Conflicts: 102000 | #Constraints: 25220
362.86/364.64 c INPROCESSING
362.86/364.64 c GARBAGE COLLECT
362.86/364.64 c #Conflicts: 103000 | #Constraints: 19394
362.86/364.64 c #Conflicts: 104000 | #Constraints: 20394
362.86/364.64 c #Conflicts: 105000 | #Constraints: 21394
362.86/364.64 c #Conflicts: 106000 | #Constraints: 22394
362.86/364.64 c #Conflicts: 107000 | #Constraints: 23394
362.86/364.64 c #Conflicts: 108000 | #Constraints: 24394
362.86/364.64 c #Conflicts: 109000 | #Constraints: 25394
362.86/364.64 c INPROCESSING
362.86/364.64 c GARBAGE COLLECT
362.86/364.64 c #Conflicts: 110000 | #Constraints: 19332
362.86/364.64 c #Conflicts: 111000 | #Constraints: 20332
362.86/364.64 c #Conflicts: 112000 | #Constraints: 21332
362.86/364.64 c #Conflicts: 113000 | #Constraints: 22332
362.86/364.64 c #Conflicts: 114000 | #Constraints: 23332
362.86/364.64 c #Conflicts: 115000 | #Constraints: 24332
362.86/364.64 c #Conflicts: 116000 | #Constraints: 25332
362.86/364.64 c INPROCESSING
362.86/364.64 c GARBAGE COLLECT
362.86/364.64 c #Conflicts: 117000 | #Constraints: 19089
362.86/364.64 c #Conflicts: 118000 | #Constraints: 20089
362.86/364.64 c #Conflicts: 119000 | #Constraints: 21089
362.86/364.64 c #Conflicts: 120000 | #Constraints: 22089
362.86/364.64 c #Conflicts: 121000 | #Constraints: 23089
362.86/364.64 c #Conflicts: 122000 | #Constraints: 24089
362.86/364.64 c #Conflicts: 123000 | #Constraints: 25089
362.86/364.64 c #Conflicts: 124000 | #Constraints: 26089
362.86/364.64 c INPROCESSING
362.86/364.64 c GARBAGE COLLECT
362.86/364.64 c #Conflicts: 125000 | #Constraints: 19752
362.86/364.64 c #Conflicts: 126000 | #Constraints: 20752
362.86/364.64 c #Conflicts: 127000 | #Constraints: 21752
362.86/364.64 c #Conflicts: 128000 | #Constraints: 22752
362.86/364.64 c #Conflicts: 129000 | #Constraints: 23752
362.86/364.64 c #Conflicts: 130000 | #Constraints: 24752
362.86/364.64 c #Conflicts: 131000 | #Constraints: 25752
362.86/364.64 c #Conflicts: 132000 | #Constraints: 26752
362.86/364.64 c INPROCESSING
362.86/364.64 c GARBAGE COLLECT
362.86/364.64 c #Conflicts: 133000 | #Constraints: 20157
362.86/364.64 c #Conflicts: 134000 | #Constraints: 21157
362.86/364.64 c #Conflicts: 135000 | #Constraints: 22157
362.86/364.64 c #Conflicts: 136000 | #Constraints: 23157
362.86/364.64 c #Conflicts: 137000 | #Constraints: 24157
362.86/364.64 c #Conflicts: 138000 | #Constraints: 25157
362.86/364.64 c #Conflicts: 139000 | #Constraints: 26157
362.86/364.64 c #Conflicts: 140000 | #Constraints: 27157
362.86/364.64 c INPROCESSING
362.86/364.64 c GARBAGE COLLECT
362.86/364.64 c #Conflicts: 141000 | #Constraints: 20317
362.86/364.64 c #Conflicts: 142000 | #Constraints: 21317
362.86/364.64 c #Conflicts: 143000 | #Constraints: 22317
626.47/629.34 c #Conflicts: 144000 | #Constraints: 23317
626.47/629.34 c #Conflicts: 145000 | #Constraints: 24317
626.47/629.34 c #Conflicts: 146000 | #Constraints: 25317
626.47/629.34 c #Conflicts: 147000 | #Constraints: 26317
626.47/629.34 c #Conflicts: 148000 | #Constraints: 27317
626.47/629.34 c INPROCESSING
626.47/629.34 c GARBAGE COLLECT
626.47/629.34 c #Conflicts: 149000 | #Constraints: 20285
626.47/629.34 c #Conflicts: 150000 | #Constraints: 21285
626.47/629.34 c #Conflicts: 151000 | #Constraints: 22285
626.47/629.34 c #Conflicts: 152000 | #Constraints: 23285
626.47/629.34 c #Conflicts: 153000 | #Constraints: 24285
626.47/629.34 c #Conflicts: 154000 | #Constraints: 25285
626.47/629.34 c #Conflicts: 155000 | #Constraints: 26285
626.47/629.34 c #Conflicts: 156000 | #Constraints: 27285
626.47/629.34 c INPROCESSING
626.47/629.34 c GARBAGE COLLECT
626.47/629.34 c #Conflicts: 157000 | #Constraints: 20104
626.47/629.34 c #Conflicts: 158000 | #Constraints: 21104
626.47/629.34 c #Conflicts: 159000 | #Constraints: 22104
626.47/629.34 c #Conflicts: 160000 | #Constraints: 23104
626.47/629.34 c #Conflicts: 161000 | #Constraints: 24104
626.47/629.34 c #Conflicts: 162000 | #Constraints: 25104
626.47/629.34 c #Conflicts: 163000 | #Constraints: 26104
626.47/629.34 c #Conflicts: 164000 | #Constraints: 27104
626.47/629.34 c #Conflicts: 165000 | #Constraints: 28104
626.47/629.34 c INPROCESSING
626.47/629.34 c GARBAGE COLLECT
626.47/629.34 c #Conflicts: 166000 | #Constraints: 20766
626.47/629.34 c #Conflicts: 167000 | #Constraints: 21766
626.47/629.34 c #Conflicts: 168000 | #Constraints: 22766
626.47/629.34 c #Conflicts: 169000 | #Constraints: 23766
626.47/629.34 c #Conflicts: 170000 | #Constraints: 24766
626.47/629.34 c #Conflicts: 171000 | #Constraints: 25766
626.47/629.34 c #Conflicts: 172000 | #Constraints: 26766
626.47/629.34 c #Conflicts: 173000 | #Constraints: 27766
626.47/629.34 c #Conflicts: 174000 | #Constraints: 28766
626.47/629.34 c INPROCESSING
626.47/629.34 c GARBAGE COLLECT
626.47/629.34 c #Conflicts: 175000 | #Constraints: 21153
626.47/629.34 c #Conflicts: 176000 | #Constraints: 22153
626.47/629.34 c #Conflicts: 177000 | #Constraints: 23153
626.47/629.34 c #Conflicts: 178000 | #Constraints: 24153
626.47/629.34 c #Conflicts: 179000 | #Constraints: 25153
626.47/629.34 c #Conflicts: 180000 | #Constraints: 26153
626.47/629.34 c #Conflicts: 181000 | #Constraints: 27153
626.47/629.34 c #Conflicts: 182000 | #Constraints: 28153
626.47/629.34 c #Conflicts: 183000 | #Constraints: 29153
626.47/629.34 c INPROCESSING
626.47/629.34 c GARBAGE COLLECT
626.47/629.34 c #Conflicts: 184000 | #Constraints: 21338
626.47/629.34 c #Conflicts: 185000 | #Constraints: 22338
626.47/629.34 c #Conflicts: 186000 | #Constraints: 23338
626.47/629.34 c #Conflicts: 187000 | #Constraints: 24338
626.47/629.34 c #Conflicts: 188000 | #Constraints: 25338
626.47/629.34 c #Conflicts: 189000 | #Constraints: 26338
626.47/629.34 c #Conflicts: 190000 | #Constraints: 27338
626.47/629.34 c #Conflicts: 191000 | #Constraints: 28338
626.47/629.34 c #Conflicts: 192000 | #Constraints: 29338
626.47/629.34 c INPROCESSING
626.47/629.34 c GARBAGE COLLECT
626.47/629.34 c #Conflicts: 193000 | #Constraints: 21291
626.47/629.34 c #Conflicts: 194000 | #Constraints: 22291
626.47/629.34 c #Conflicts: 195000 | #Constraints: 23291
626.47/629.34 c #Conflicts: 196000 | #Constraints: 24291
626.47/629.34 c #Conflicts: 197000 | #Constraints: 25291
626.47/629.34 c #Conflicts: 198000 | #Constraints: 26291
626.47/629.34 c #Conflicts: 199000 | #Constraints: 27291
626.47/629.34 c #Conflicts: 200000 | #Constraints: 28291
626.47/629.34 c #Conflicts: 201000 | #Constraints: 29291
626.47/629.34 c INPROCESSING
626.47/629.34 c GARBAGE COLLECT
626.47/629.34 c #Conflicts: 202000 | #Constraints: 21070
626.47/629.34 c #Conflicts: 203000 | #Constraints: 22070
626.47/629.34 c #Conflicts: 204000 | #Constraints: 23070
626.47/629.34 c #Conflicts: 205000 | #Constraints: 24070
626.47/629.34 c #Conflicts: 206000 | #Constraints: 25070
626.47/629.34 c #Conflicts: 207000 | #Constraints: 26070
626.47/629.34 c #Conflicts: 208000 | #Constraints: 27070
626.47/629.34 c #Conflicts: 209000 | #Constraints: 28070
626.47/629.34 c #Conflicts: 210000 | #Constraints: 29070
626.47/629.34 c #Conflicts: 211000 | #Constraints: 30070
626.47/629.34 c INPROCESSING
626.47/629.34 c GARBAGE COLLECT
626.47/629.34 c #Conflicts: 212000 | #Constraints: 21663
626.47/629.34 c #Conflicts: 213000 | #Constraints: 22663
626.47/629.34 c #Conflicts: 214000 | #Constraints: 23663
626.47/629.34 c #Conflicts: 215000 | #Constraints: 24663
626.47/629.34 c #Conflicts: 216000 | #Constraints: 25663
892.05/895.94 c #Conflicts: 217000 | #Constraints: 26663
892.05/895.94 c #Conflicts: 218000 | #Constraints: 27663
892.05/895.94 c #Conflicts: 219000 | #Constraints: 28663
892.05/895.94 c #Conflicts: 220000 | #Constraints: 29663
892.05/895.94 c #Conflicts: 221000 | #Constraints: 30663
892.05/895.94 c INPROCESSING
892.05/895.94 c GARBAGE COLLECT
892.05/895.94 c #Conflicts: 222000 | #Constraints: 22057
892.05/895.94 c #Conflicts: 223000 | #Constraints: 23057
892.05/895.94 c #Conflicts: 224000 | #Constraints: 24057
892.05/895.94 c #Conflicts: 225000 | #Constraints: 25057
892.05/895.94 c #Conflicts: 226000 | #Constraints: 26057
892.05/895.94 c #Conflicts: 227000 | #Constraints: 27057
892.05/895.94 c #Conflicts: 228000 | #Constraints: 28057
892.05/895.94 c #Conflicts: 229000 | #Constraints: 29057
892.05/895.94 c #Conflicts: 230000 | #Constraints: 30057
892.05/895.94 c #Conflicts: 231000 | #Constraints: 31057
892.05/895.94 c INPROCESSING
892.05/895.94 c GARBAGE COLLECT
892.05/895.94 c #Conflicts: 232000 | #Constraints: 22251
892.05/895.94 c #Conflicts: 233000 | #Constraints: 23251
892.05/895.94 c #Conflicts: 234000 | #Constraints: 24251
892.05/895.94 c #Conflicts: 235000 | #Constraints: 25251
892.05/895.94 c #Conflicts: 236000 | #Constraints: 26251
892.05/895.94 c #Conflicts: 237000 | #Constraints: 27251
892.05/895.94 c #Conflicts: 238000 | #Constraints: 28251
892.05/895.94 c #Conflicts: 239000 | #Constraints: 29251
892.05/895.94 c #Conflicts: 240000 | #Constraints: 30251
892.05/895.94 c #Conflicts: 241000 | #Constraints: 31251
892.05/895.94 c INPROCESSING
892.05/895.94 c GARBAGE COLLECT
892.05/895.94 c #Conflicts: 242000 | #Constraints: 22304
892.05/895.94 c #Conflicts: 243000 | #Constraints: 23304
892.05/895.94 c #Conflicts: 244000 | #Constraints: 24304
892.05/895.94 c #Conflicts: 245000 | #Constraints: 25304
892.05/895.94 c #Conflicts: 246000 | #Constraints: 26304
892.05/895.94 c #Conflicts: 247000 | #Constraints: 27304
892.05/895.94 c #Conflicts: 248000 | #Constraints: 28304
892.05/895.94 c #Conflicts: 249000 | #Constraints: 29304
892.05/895.94 c #Conflicts: 250000 | #Constraints: 30304
892.05/895.94 c #Conflicts: 251000 | #Constraints: 31304
892.05/895.94 c INPROCESSING
892.05/895.94 c GARBAGE COLLECT
892.05/895.94 c #Conflicts: 252000 | #Constraints: 22078
892.05/895.94 c #Conflicts: 253000 | #Constraints: 23078
892.05/895.94 c #Conflicts: 254000 | #Constraints: 24078
892.05/895.94 c #Conflicts: 255000 | #Constraints: 25078
892.05/895.94 c #Conflicts: 256000 | #Constraints: 26078
892.05/895.94 c #Conflicts: 257000 | #Constraints: 27078
892.05/895.94 c #Conflicts: 258000 | #Constraints: 28078
892.05/895.94 c #Conflicts: 259000 | #Constraints: 29078
892.05/895.94 c #Conflicts: 260000 | #Constraints: 30078
892.05/895.94 c #Conflicts: 261000 | #Constraints: 31078
892.05/895.94 c #Conflicts: 262000 | #Constraints: 32078
892.05/895.94 c INPROCESSING
892.05/895.94 c GARBAGE COLLECT
892.05/895.94 c #Conflicts: 263000 | #Constraints: 22696
892.05/895.94 c #Conflicts: 264000 | #Constraints: 23696
892.05/895.94 c #Conflicts: 265000 | #Constraints: 24696
892.05/895.94 c #Conflicts: 266000 | #Constraints: 25696
892.05/895.94 c #Conflicts: 267000 | #Constraints: 26696
892.05/895.94 c #Conflicts: 268000 | #Constraints: 27696
892.05/895.94 c #Conflicts: 269000 | #Constraints: 28696
892.05/895.94 c #Conflicts: 270000 | #Constraints: 29696
892.05/895.94 c #Conflicts: 271000 | #Constraints: 30696
892.05/895.94 c #Conflicts: 272000 | #Constraints: 31696
892.05/895.94 c #Conflicts: 273000 | #Constraints: 32696
892.05/895.94 c INPROCESSING
892.05/895.94 c GARBAGE COLLECT
892.05/895.94 c #Conflicts: 274000 | #Constraints: 23113
892.05/895.94 c #Conflicts: 275000 | #Constraints: 24113
892.05/895.94 c #Conflicts: 276000 | #Constraints: 25113
892.05/895.94 c #Conflicts: 277000 | #Constraints: 26113
892.05/895.94 c #Conflicts: 278000 | #Constraints: 27113
892.05/895.94 c #Conflicts: 279000 | #Constraints: 28113
892.05/895.94 c #Conflicts: 280000 | #Constraints: 29113
892.05/895.94 c #Conflicts: 281000 | #Constraints: 30113
892.05/895.94 c #Conflicts: 282000 | #Constraints: 31113
892.05/895.94 c #Conflicts: 283000 | #Constraints: 32113
892.05/895.94 c #Conflicts: 284000 | #Constraints: 33113
892.05/895.94 c INPROCESSING
892.05/895.94 c GARBAGE COLLECT
892.05/895.94 c #Conflicts: 285000 | #Constraints: 23316
892.05/895.94 c #Conflicts: 286000 | #Constraints: 24316
892.05/895.94 c #Conflicts: 287000 | #Constraints: 25316
892.05/895.94 c #Conflicts: 288000 | #Constraints: 26316
892.05/895.94 c #Conflicts: 289000 | #Constraints: 27316
892.05/895.94 c #Conflicts: 290000 | #Constraints: 28316
892.05/895.94 c #Conflicts: 291000 | #Constraints: 29316
1212.63/1217.33 c #Conflicts: 292000 | #Constraints: 30316
1212.63/1217.33 c #Conflicts: 293000 | #Constraints: 31316
1212.63/1217.33 c #Conflicts: 294000 | #Constraints: 32316
1212.63/1217.33 c #Conflicts: 295000 | #Constraints: 33316
1212.63/1217.33 c INPROCESSING
1212.63/1217.33 c GARBAGE COLLECT
1212.63/1217.33 c #Conflicts: 296000 | #Constraints: 23328
1212.63/1217.33 c #Conflicts: 297000 | #Constraints: 24328
1212.63/1217.33 c #Conflicts: 298000 | #Constraints: 25328
1212.63/1217.33 c #Conflicts: 299000 | #Constraints: 26328
1212.63/1217.33 c #Conflicts: 300000 | #Constraints: 27328
1212.63/1217.33 c #Conflicts: 301000 | #Constraints: 28328
1212.63/1217.33 c #Conflicts: 302000 | #Constraints: 29328
1212.63/1217.33 c #Conflicts: 303000 | #Constraints: 30328
1212.63/1217.33 c #Conflicts: 304000 | #Constraints: 31328
1212.63/1217.33 c #Conflicts: 305000 | #Constraints: 32328
1212.63/1217.33 c #Conflicts: 306000 | #Constraints: 33328
1212.63/1217.33 c INPROCESSING
1212.63/1217.33 c GARBAGE COLLECT
1212.63/1217.33 c #Conflicts: 307000 | #Constraints: 23081
1212.63/1217.33 c #Conflicts: 308000 | #Constraints: 24081
1212.63/1217.33 c #Conflicts: 309000 | #Constraints: 25081
1212.63/1217.33 c #Conflicts: 310000 | #Constraints: 26081
1212.63/1217.33 c #Conflicts: 311000 | #Constraints: 27081
1212.63/1217.33 c #Conflicts: 312000 | #Constraints: 28081
1212.63/1217.33 c #Conflicts: 313000 | #Constraints: 29081
1212.63/1217.33 c #Conflicts: 314000 | #Constraints: 30081
1212.63/1217.33 c #Conflicts: 315000 | #Constraints: 31081
1212.63/1217.33 c #Conflicts: 316000 | #Constraints: 32081
1212.63/1217.33 c #Conflicts: 317000 | #Constraints: 33081
1212.63/1217.33 c #Conflicts: 318000 | #Constraints: 34081
1212.63/1217.33 c INPROCESSING
1212.63/1217.33 c GARBAGE COLLECT
1212.63/1217.33 c #Conflicts: 319000 | #Constraints: 23659
1212.63/1217.33 c #Conflicts: 320000 | #Constraints: 24659
1212.63/1217.33 c #Conflicts: 321000 | #Constraints: 25659
1212.63/1217.33 c #Conflicts: 322000 | #Constraints: 26659
1212.63/1217.33 c #Conflicts: 323000 | #Constraints: 27659
1212.63/1217.33 c #Conflicts: 324000 | #Constraints: 28659
1212.63/1217.33 c #Conflicts: 325000 | #Constraints: 29659
1212.63/1217.33 c #Conflicts: 326000 | #Constraints: 30659
1212.63/1217.33 c #Conflicts: 327000 | #Constraints: 31659
1212.63/1217.33 c #Conflicts: 328000 | #Constraints: 32659
1212.63/1217.33 c #Conflicts: 329000 | #Constraints: 33659
1212.63/1217.33 c #Conflicts: 330000 | #Constraints: 34659
1212.63/1217.33 c INPROCESSING
1212.63/1217.33 c GARBAGE COLLECT
1212.63/1217.33 c #Conflicts: 331000 | #Constraints: 24123
1212.63/1217.33 c #Conflicts: 332000 | #Constraints: 25123
1212.63/1217.33 c #Conflicts: 333000 | #Constraints: 26123
1212.63/1217.33 c #Conflicts: 334000 | #Constraints: 27123
1212.63/1217.33 c #Conflicts: 335000 | #Constraints: 28123
1212.63/1217.33 c #Conflicts: 336000 | #Constraints: 29123
1212.63/1217.33 c #Conflicts: 337000 | #Constraints: 30123
1212.63/1217.33 c #Conflicts: 338000 | #Constraints: 31123
1212.63/1217.33 c #Conflicts: 339000 | #Constraints: 32123
1212.63/1217.33 c #Conflicts: 340000 | #Constraints: 33123
1212.63/1217.33 c #Conflicts: 341000 | #Constraints: 34123
1212.63/1217.33 c #Conflicts: 342000 | #Constraints: 35123
1212.63/1217.33 c INPROCESSING
1212.63/1217.33 c GARBAGE COLLECT
1212.63/1217.33 c #Conflicts: 343000 | #Constraints: 24321
1212.63/1217.33 c #Conflicts: 344000 | #Constraints: 25321
1212.63/1217.33 c #Conflicts: 345000 | #Constraints: 26321
1212.63/1217.33 c #Conflicts: 346000 | #Constraints: 27321
1212.63/1217.33 c #Conflicts: 347000 | #Constraints: 28321
1212.63/1217.33 c #Conflicts: 348000 | #Constraints: 29321
1212.63/1217.33 c #Conflicts: 349000 | #Constraints: 30321
1212.63/1217.33 c #Conflicts: 350000 | #Constraints: 31321
1212.63/1217.33 c #Conflicts: 351000 | #Constraints: 32321
1212.63/1217.33 c #Conflicts: 352000 | #Constraints: 33321
1212.63/1217.33 c #Conflicts: 353000 | #Constraints: 34321
1212.63/1217.33 c #Conflicts: 354000 | #Constraints: 35321
1212.63/1217.33 c INPROCESSING
1212.63/1217.33 c GARBAGE COLLECT
1212.63/1217.33 c #Conflicts: 355000 | #Constraints: 24329
1212.63/1217.33 c #Conflicts: 356000 | #Constraints: 25329
1212.63/1217.33 c #Conflicts: 357000 | #Constraints: 26329
1212.63/1217.33 c #Conflicts: 358000 | #Constraints: 27329
1212.63/1217.33 c #Conflicts: 359000 | #Constraints: 28329
1212.63/1217.33 c #Conflicts: 360000 | #Constraints: 29329
1212.63/1217.33 c #Conflicts: 361000 | #Constraints: 30329
1212.63/1217.33 c #Conflicts: 362000 | #Constraints: 31329
1212.63/1217.33 c #Conflicts: 363000 | #Constraints: 32329
1212.63/1217.33 c #Conflicts: 364000 | #Constraints: 33329
1212.63/1217.33 c #Conflicts: 365000 | #Constraints: 34329
1504.83/1510.37 c #Conflicts: 366000 | #Constraints: 35329
1504.83/1510.37 c INPROCESSING
1504.83/1510.37 c GARBAGE COLLECT
1504.83/1510.37 c #Conflicts: 367000 | #Constraints: 24130
1504.83/1510.37 c #Conflicts: 368000 | #Constraints: 25130
1504.83/1510.37 c #Conflicts: 369000 | #Constraints: 26130
1504.83/1510.37 c #Conflicts: 370000 | #Constraints: 27130
1504.83/1510.37 c #Conflicts: 371000 | #Constraints: 28130
1504.83/1510.37 c #Conflicts: 372000 | #Constraints: 29130
1504.83/1510.37 c #Conflicts: 373000 | #Constraints: 30130
1504.83/1510.37 c #Conflicts: 374000 | #Constraints: 31130
1504.83/1510.37 c #Conflicts: 375000 | #Constraints: 32130
1504.83/1510.37 c #Conflicts: 376000 | #Constraints: 33130
1504.83/1510.37 c #Conflicts: 377000 | #Constraints: 34130
1504.83/1510.37 c #Conflicts: 378000 | #Constraints: 35130
1504.83/1510.37 c #Conflicts: 379000 | #Constraints: 36130
1504.83/1510.37 c INPROCESSING
1504.83/1510.37 c GARBAGE COLLECT
1504.83/1510.37 c #Conflicts: 380000 | #Constraints: 24754
1504.83/1510.37 c #Conflicts: 381000 | #Constraints: 25754
1504.83/1510.37 c #Conflicts: 382000 | #Constraints: 26754
1504.83/1510.37 c #Conflicts: 383000 | #Constraints: 27754
1504.83/1510.37 c #Conflicts: 384000 | #Constraints: 28754
1504.83/1510.37 c #Conflicts: 385000 | #Constraints: 29754
1504.83/1510.37 c #Conflicts: 386000 | #Constraints: 30754
1504.83/1510.37 c #Conflicts: 387000 | #Constraints: 31754
1504.83/1510.37 c #Conflicts: 388000 | #Constraints: 32754
1504.83/1510.37 c #Conflicts: 389000 | #Constraints: 33754
1504.83/1510.37 c #Conflicts: 390000 | #Constraints: 34754
1504.83/1510.37 c #Conflicts: 391000 | #Constraints: 35754
1504.83/1510.37 c #Conflicts: 392000 | #Constraints: 36754
1504.83/1510.37 c INPROCESSING
1504.83/1510.37 c GARBAGE COLLECT
1504.83/1510.37 c #Conflicts: 393000 | #Constraints: 25141
1504.83/1510.37 c #Conflicts: 394000 | #Constraints: 26141
1504.83/1510.37 c #Conflicts: 395000 | #Constraints: 27141
1504.83/1510.37 c #Conflicts: 396000 | #Constraints: 28141
1504.83/1510.37 c #Conflicts: 397000 | #Constraints: 29141
1504.83/1510.37 c #Conflicts: 398000 | #Constraints: 30141
1504.83/1510.37 c #Conflicts: 399000 | #Constraints: 31141
1504.83/1510.37 c #Conflicts: 400000 | #Constraints: 32141
1504.83/1510.37 c #Conflicts: 401000 | #Constraints: 33141
1504.83/1510.37 c #Conflicts: 402000 | #Constraints: 34141
1504.83/1510.37 c #Conflicts: 403000 | #Constraints: 35141
1504.83/1510.37 c #Conflicts: 404000 | #Constraints: 36141
1504.83/1510.37 c #Conflicts: 405000 | #Constraints: 37141
1504.83/1510.37 c INPROCESSING
1504.83/1510.37 c GARBAGE COLLECT
1504.83/1510.37 c #Conflicts: 406000 | #Constraints: 25308
1504.83/1510.37 c #Conflicts: 407000 | #Constraints: 26308
1504.83/1510.37 c #Conflicts: 408000 | #Constraints: 27308
1504.83/1510.37 c #Conflicts: 409000 | #Constraints: 28308
1504.83/1510.37 c #Conflicts: 410000 | #Constraints: 29308
1504.83/1510.37 c #Conflicts: 411000 | #Constraints: 30308
1504.83/1510.37 c #Conflicts: 412000 | #Constraints: 31308
1504.83/1510.37 c #Conflicts: 413000 | #Constraints: 32308
1504.83/1510.37 c #Conflicts: 414000 | #Constraints: 33308
1504.83/1510.37 c #Conflicts: 415000 | #Constraints: 34308
1504.83/1510.37 c #Conflicts: 416000 | #Constraints: 35308
1504.83/1510.37 c #Conflicts: 417000 | #Constraints: 36308
1504.83/1510.37 c #Conflicts: 418000 | #Constraints: 37308
1504.83/1510.37 c INPROCESSING
1504.83/1510.37 c GARBAGE COLLECT
1504.83/1510.37 c #Conflicts: 419000 | #Constraints: 25313
1504.83/1510.37 c #Conflicts: 420000 | #Constraints: 26313
1504.83/1510.37 c #Conflicts: 421000 | #Constraints: 27313
1504.83/1510.37 c #Conflicts: 422000 | #Constraints: 28313
1504.83/1510.37 c #Conflicts: 423000 | #Constraints: 29313
1504.83/1510.37 c #Conflicts: 424000 | #Constraints: 30313
1504.83/1510.37 c #Conflicts: 425000 | #Constraints: 31313
1504.83/1510.37 c #Conflicts: 426000 | #Constraints: 32313
1504.83/1510.37 c #Conflicts: 427000 | #Constraints: 33313
1504.83/1510.37 c #Conflicts: 428000 | #Constraints: 34313
1504.83/1510.37 c #Conflicts: 429000 | #Constraints: 35313
1504.83/1510.37 c #Conflicts: 430000 | #Constraints: 36313
1504.83/1510.37 c #Conflicts: 431000 | #Constraints: 37313
1504.83/1510.37 c INPROCESSING
1504.83/1510.37 c GARBAGE COLLECT
1504.83/1510.37 c #Conflicts: 432000 | #Constraints: 25124
1504.83/1510.37 c #Conflicts: 433000 | #Constraints: 26124
1504.83/1510.37 c #Conflicts: 434000 | #Constraints: 27124
1504.83/1510.37 c #Conflicts: 435000 | #Constraints: 28124
1504.83/1510.37 c #Conflicts: 436000 | #Constraints: 29124
1504.83/1510.37 c #Conflicts: 437000 | #Constraints: 30124
1504.83/1510.37 c #Conflicts: 438000 | #Constraints: 31124
1504.83/1510.37 c #Conflicts: 439000 | #Constraints: 32124
1504.83/1510.37 c #Conflicts: 440000 | #Constraints: 33124
1806.37/1812.72 c #Conflicts: 441000 | #Constraints: 34124
1806.37/1812.72 c #Conflicts: 442000 | #Constraints: 35124
1806.37/1812.72 c #Conflicts: 443000 | #Constraints: 36124
1806.37/1812.72 c #Conflicts: 444000 | #Constraints: 37124
1806.37/1812.72 c #Conflicts: 445000 | #Constraints: 38124
1806.37/1812.72 c INPROCESSING
1806.37/1812.72 c GARBAGE COLLECT
1806.37/1812.72 c #Conflicts: 446000 | #Constraints: 25736
1806.37/1812.72 c #Conflicts: 447000 | #Constraints: 26736
1806.37/1812.72 c #Conflicts: 448000 | #Constraints: 27736
1806.37/1812.72 c #Conflicts: 449000 | #Constraints: 28736
1806.37/1812.72 c #Conflicts: 450000 | #Constraints: 29736
1806.37/1812.72 c #Conflicts: 451000 | #Constraints: 30736
1806.37/1812.72 c #Conflicts: 452000 | #Constraints: 31736
1806.37/1812.72 c #Conflicts: 453000 | #Constraints: 32736
1806.37/1812.72 c #Conflicts: 454000 | #Constraints: 33736
1806.37/1812.72 c #Conflicts: 455000 | #Constraints: 34736
1806.37/1812.72 c #Conflicts: 456000 | #Constraints: 35736
1806.37/1812.72 c #Conflicts: 457000 | #Constraints: 36736
1806.37/1812.72 c #Conflicts: 458000 | #Constraints: 37736
1806.37/1812.72 c #Conflicts: 459000 | #Constraints: 38736
1806.37/1812.72 c INPROCESSING
1806.37/1812.72 c GARBAGE COLLECT
1806.37/1812.72 c #Conflicts: 460000 | #Constraints: 26148
1806.37/1812.72 c #Conflicts: 461000 | #Constraints: 27148
1806.37/1812.72 c #Conflicts: 462000 | #Constraints: 28148
1806.37/1812.72 c #Conflicts: 463000 | #Constraints: 29148
1806.37/1812.72 c #Conflicts: 464000 | #Constraints: 30148
1806.37/1812.72 c #Conflicts: 465000 | #Constraints: 31148
1806.37/1812.72 c #Conflicts: 466000 | #Constraints: 32148
1806.37/1812.72 c #Conflicts: 467000 | #Constraints: 33148
1806.37/1812.72 c #Conflicts: 468000 | #Constraints: 34148
1806.37/1812.72 c #Conflicts: 469000 | #Constraints: 35148
1806.37/1812.72 c #Conflicts: 470000 | #Constraints: 36148
1806.37/1812.72 c #Conflicts: 471000 | #Constraints: 37148
1806.37/1812.72 c #Conflicts: 472000 | #Constraints: 38148
1806.37/1812.72 c #Conflicts: 473000 | #Constraints: 39148
1806.37/1812.72 c INPROCESSING
1806.37/1812.72 c GARBAGE COLLECT
1806.37/1812.72 c #Conflicts: 474000 | #Constraints: 26334
1806.37/1812.72 c #Conflicts: 475000 | #Constraints: 27334
1806.37/1812.72 c #Conflicts: 476000 | #Constraints: 28334
1806.37/1812.72 c #Conflicts: 477000 | #Constraints: 29334
1806.37/1812.72 c #Conflicts: 478000 | #Constraints: 30334
1806.37/1812.72 c #Conflicts: 479000 | #Constraints: 31334
1806.37/1812.72 c #Conflicts: 480000 | #Constraints: 32334
1806.37/1812.72 c #Conflicts: 481000 | #Constraints: 33334
1806.37/1812.72 c #Conflicts: 482000 | #Constraints: 34334
1806.37/1812.72 c #Conflicts: 483000 | #Constraints: 35334
1806.37/1812.72 c #Conflicts: 484000 | #Constraints: 36334
1806.37/1812.72 c #Conflicts: 485000 | #Constraints: 37334
1806.37/1812.72 c #Conflicts: 486000 | #Constraints: 38334
1806.37/1812.72 c #Conflicts: 487000 | #Constraints: 39334
1806.37/1812.72 c INPROCESSING
1806.37/1812.72 c GARBAGE COLLECT
1806.37/1812.72 c #Conflicts: 488000 | #Constraints: 26362
1806.37/1812.72 c #Conflicts: 489000 | #Constraints: 27362
1806.37/1812.72 c #Conflicts: 490000 | #Constraints: 28362
1806.37/1812.72 c #Conflicts: 491000 | #Constraints: 29362
1806.37/1812.72 c #Conflicts: 492000 | #Constraints: 30362
1806.37/1812.72 c #Conflicts: 493000 | #Constraints: 31362
1806.37/1812.72 c #Conflicts: 494000 | #Constraints: 32362
1806.37/1812.72 c #Conflicts: 495000 | #Constraints: 33362
1806.37/1812.72 c #Conflicts: 496000 | #Constraints: 34362
1806.37/1812.72 c #Conflicts: 497000 | #Constraints: 35362
1806.37/1812.72 c #Conflicts: 498000 | #Constraints: 36362
1806.37/1812.72 c #Conflicts: 499000 | #Constraints: 37362
1806.37/1812.72 c #Conflicts: 500000 | #Constraints: 38362
1806.37/1812.72 c #Conflicts: 501000 | #Constraints: 39362
1806.37/1812.72 c INPROCESSING
1806.37/1812.72 c GARBAGE COLLECT
1806.37/1812.72 c #Conflicts: 502000 | #Constraints: 26130
1806.37/1812.72 c #Conflicts: 503000 | #Constraints: 27130
1806.37/1812.72 c #Conflicts: 504000 | #Constraints: 28130
1806.37/1812.72 c #Conflicts: 505000 | #Constraints: 29130
1806.37/1812.72 c #Conflicts: 506000 | #Constraints: 30130
1806.37/1812.72 c #Conflicts: 507000 | #Constraints: 31130
1806.37/1812.72 c #Conflicts: 508000 | #Constraints: 32130
1806.37/1812.72 c #Conflicts: 509000 | #Constraints: 33130
1806.37/1812.72 c #Conflicts: 510000 | #Constraints: 34130
1806.37/1812.72 c #Conflicts: 511000 | #Constraints: 35130
1806.37/1812.72 c #Conflicts: 512000 | #Constraints: 36130
1806.37/1812.72 c #Conflicts: 513000 | #Constraints: 37130
1806.37/1812.72 c #Conflicts: 514000 | #Constraints: 38130
1806.37/1812.72 c #Conflicts: 515000 | #Constraints: 39130
1806.37/1812.72 c #Conflicts: 516000 | #Constraints: 40130
2118.37/2125.68 c INPROCESSING
2118.37/2125.68 c GARBAGE COLLECT
2118.37/2125.68 c #Conflicts: 517000 | #Constraints: 26713
2118.37/2125.68 c #Conflicts: 518000 | #Constraints: 27713
2118.37/2125.68 c #Conflicts: 519000 | #Constraints: 28713
2118.37/2125.68 c #Conflicts: 520000 | #Constraints: 29713
2118.37/2125.68 c #Conflicts: 521000 | #Constraints: 30713
2118.37/2125.68 c #Conflicts: 522000 | #Constraints: 31713
2118.37/2125.68 c #Conflicts: 523000 | #Constraints: 32713
2118.37/2125.68 c #Conflicts: 524000 | #Constraints: 33713
2118.37/2125.68 c #Conflicts: 525000 | #Constraints: 34713
2118.37/2125.68 c #Conflicts: 526000 | #Constraints: 35713
2118.37/2125.68 c #Conflicts: 527000 | #Constraints: 36713
2118.37/2125.68 c #Conflicts: 528000 | #Constraints: 37713
2118.37/2125.68 c #Conflicts: 529000 | #Constraints: 38713
2118.37/2125.68 c #Conflicts: 530000 | #Constraints: 39713
2118.37/2125.68 c #Conflicts: 531000 | #Constraints: 40713
2118.37/2125.68 c INPROCESSING
2118.37/2125.68 c GARBAGE COLLECT
2118.37/2125.68 c #Conflicts: 532000 | #Constraints: 27139
2118.37/2125.68 c #Conflicts: 533000 | #Constraints: 28139
2118.37/2125.68 c #Conflicts: 534000 | #Constraints: 29139
2118.37/2125.68 c #Conflicts: 535000 | #Constraints: 30139
2118.37/2125.68 c #Conflicts: 536000 | #Constraints: 31139
2118.37/2125.68 c #Conflicts: 537000 | #Constraints: 32139
2118.37/2125.68 c #Conflicts: 538000 | #Constraints: 33139
2118.37/2125.68 c #Conflicts: 539000 | #Constraints: 34139
2118.37/2125.68 c #Conflicts: 540000 | #Constraints: 35139
2118.37/2125.68 c #Conflicts: 541000 | #Constraints: 36139
2118.37/2125.68 c #Conflicts: 542000 | #Constraints: 37139
2118.37/2125.68 c #Conflicts: 543000 | #Constraints: 38139
2118.37/2125.68 c #Conflicts: 544000 | #Constraints: 39139
2118.37/2125.68 c #Conflicts: 545000 | #Constraints: 40139
2118.37/2125.68 c #Conflicts: 546000 | #Constraints: 41139
2118.37/2125.68 c INPROCESSING
2118.37/2125.68 c GARBAGE COLLECT
2118.37/2125.68 c #Conflicts: 547000 | #Constraints: 27347
2118.37/2125.68 c #Conflicts: 548000 | #Constraints: 28347
2118.37/2125.68 c #Conflicts: 549000 | #Constraints: 29347
2118.37/2125.68 c #Conflicts: 550000 | #Constraints: 30347
2118.37/2125.68 c #Conflicts: 551000 | #Constraints: 31347
2118.37/2125.68 c #Conflicts: 552000 | #Constraints: 32347
2118.37/2125.68 c #Conflicts: 553000 | #Constraints: 33347
2118.37/2125.68 c #Conflicts: 554000 | #Constraints: 34347
2118.37/2125.68 c #Conflicts: 555000 | #Constraints: 35347
2118.37/2125.68 c #Conflicts: 556000 | #Constraints: 36347
2118.37/2125.68 c #Conflicts: 557000 | #Constraints: 37347
2118.37/2125.68 c #Conflicts: 558000 | #Constraints: 38347
2118.37/2125.68 c #Conflicts: 559000 | #Constraints: 39347
2118.37/2125.68 c #Conflicts: 560000 | #Constraints: 40347
2118.37/2125.68 c #Conflicts: 561000 | #Constraints: 41347
2118.37/2125.68 c INPROCESSING
2118.37/2125.68 c GARBAGE COLLECT
2118.37/2125.68 c #Conflicts: 562000 | #Constraints: 27380
2118.37/2125.68 c #Conflicts: 563000 | #Constraints: 28380
2118.37/2125.68 c #Conflicts: 564000 | #Constraints: 29380
2118.37/2125.68 c #Conflicts: 565000 | #Constraints: 30380
2118.37/2125.68 c #Conflicts: 566000 | #Constraints: 31380
2118.37/2125.68 c #Conflicts: 567000 | #Constraints: 32380
2118.37/2125.68 c #Conflicts: 568000 | #Constraints: 33380
2118.37/2125.68 c #Conflicts: 569000 | #Constraints: 34380
2118.37/2125.68 c #Conflicts: 570000 | #Constraints: 35380
2118.37/2125.68 c #Conflicts: 571000 | #Constraints: 36380
2118.37/2125.68 c #Conflicts: 572000 | #Constraints: 37380
2118.37/2125.68 c #Conflicts: 573000 | #Constraints: 38380
2118.37/2125.68 c #Conflicts: 574000 | #Constraints: 39380
2118.37/2125.68 c #Conflicts: 575000 | #Constraints: 40380
2118.37/2125.68 c #Conflicts: 576000 | #Constraints: 41380
2118.37/2125.68 c INPROCESSING
2118.37/2125.68 c GARBAGE COLLECT
2118.37/2125.68 c #Conflicts: 577000 | #Constraints: 27179
2118.37/2125.68 c #Conflicts: 578000 | #Constraints: 28179
2118.37/2125.68 c #Conflicts: 579000 | #Constraints: 29179
2118.37/2125.68 c #Conflicts: 580000 | #Constraints: 30179
2118.37/2125.68 c #Conflicts: 581000 | #Constraints: 31179
2118.37/2125.68 c #Conflicts: 582000 | #Constraints: 32179
2118.37/2125.68 c #Conflicts: 583000 | #Constraints: 33179
2118.37/2125.68 c #Conflicts: 584000 | #Constraints: 34179
2118.37/2125.68 c #Conflicts: 585000 | #Constraints: 35179
2118.37/2125.68 c #Conflicts: 586000 | #Constraints: 36179
2118.37/2125.68 c #Conflicts: 587000 | #Constraints: 37179
2118.37/2125.68 c #Conflicts: 588000 | #Constraints: 38179
2118.37/2125.68 c #Conflicts: 589000 | #Constraints: 39179
2118.37/2125.68 c #Conflicts: 590000 | #Constraints: 40179
2118.37/2125.68 c #Conflicts: 591000 | #Constraints: 41179
2118.37/2125.68 c #Conflicts: 592000 | #Constraints: 42179
2359.97/2367.93 c INPROCESSING
2359.97/2367.93 c GARBAGE COLLECT
2359.97/2367.93 c #Conflicts: 593000 | #Constraints: 27735
2359.97/2367.93 c #Conflicts: 594000 | #Constraints: 28735
2359.97/2367.93 c #Conflicts: 595000 | #Constraints: 29735
2359.97/2367.93 c #Conflicts: 596000 | #Constraints: 30735
2359.97/2367.93 c #Conflicts: 597000 | #Constraints: 31735
2359.97/2367.93 c #Conflicts: 598000 | #Constraints: 32735
2359.97/2367.93 c #Conflicts: 599000 | #Constraints: 33735
2359.97/2367.93 c #Conflicts: 600000 | #Constraints: 34735
2359.97/2367.93 c #Conflicts: 601000 | #Constraints: 35735
2359.97/2367.93 c #Conflicts: 602000 | #Constraints: 36735
2359.97/2367.93 c #Conflicts: 603000 | #Constraints: 37735
2359.97/2367.93 c #Conflicts: 604000 | #Constraints: 38735
2359.97/2367.93 c #Conflicts: 605000 | #Constraints: 39735
2359.97/2367.93 c #Conflicts: 606000 | #Constraints: 40735
2359.97/2367.93 c #Conflicts: 607000 | #Constraints: 41735
2359.97/2367.93 c #Conflicts: 608000 | #Constraints: 42735
2359.97/2367.93 c INPROCESSING
2359.97/2367.93 c GARBAGE COLLECT
2359.97/2367.93 c #Conflicts: 609000 | #Constraints: 28142
2359.97/2367.93 c #Conflicts: 610000 | #Constraints: 29142
2359.97/2367.93 c #Conflicts: 611000 | #Constraints: 30142
2359.97/2367.93 c #Conflicts: 612000 | #Constraints: 31142
2359.97/2367.93 c #Conflicts: 613000 | #Constraints: 32142
2359.97/2367.93 c #Conflicts: 614000 | #Constraints: 33142
2359.97/2367.93 c #Conflicts: 615000 | #Constraints: 34142
2359.97/2367.93 c #Conflicts: 616000 | #Constraints: 35142
2359.97/2367.93 c #Conflicts: 617000 | #Constraints: 36142
2359.97/2367.93 c #Conflicts: 618000 | #Constraints: 37142
2359.97/2367.93 c #Conflicts: 619000 | #Constraints: 38142
2359.97/2367.93 c #Conflicts: 620000 | #Constraints: 39142
2359.97/2367.93 c #Conflicts: 621000 | #Constraints: 40142
2359.97/2367.93 c #Conflicts: 622000 | #Constraints: 41142
2359.97/2367.93 c #Conflicts: 623000 | #Constraints: 42142
2359.97/2367.93 c #Conflicts: 624000 | #Constraints: 43142
2359.97/2367.93 c INPROCESSING
2359.97/2367.93 c GARBAGE COLLECT
2359.97/2367.93 c #Conflicts: 625000 | #Constraints: 28348
2359.97/2367.93 c #Conflicts: 626000 | #Constraints: 29348
2359.97/2367.93 c #Conflicts: 627000 | #Constraints: 30348
2359.97/2367.93 c #Conflicts: 628000 | #Constraints: 31348
2359.97/2367.93 c #Conflicts: 629000 | #Constraints: 32348
2359.97/2367.93 c #Conflicts: 630000 | #Constraints: 33348
2359.97/2367.93 c #Conflicts: 631000 | #Constraints: 34348
2359.97/2367.93 c #Conflicts: 632000 | #Constraints: 35348
2359.97/2367.93 c #Conflicts: 633000 | #Constraints: 36348
2359.97/2367.93 c #Conflicts: 634000 | #Constraints: 37348
2359.97/2367.93 c #Conflicts: 635000 | #Constraints: 38348
2359.97/2367.93 c #Conflicts: 636000 | #Constraints: 39348
2359.97/2367.93 c #Conflicts: 637000 | #Constraints: 40348
2359.97/2367.93 c #Conflicts: 638000 | #Constraints: 41348
2359.97/2367.93 c #Conflicts: 639000 | #Constraints: 42348
2359.97/2367.93 c #Conflicts: 640000 | #Constraints: 43348
2359.97/2367.93 c INPROCESSING
2359.97/2367.93 c GARBAGE COLLECT
2359.97/2367.93 c #Conflicts: 641000 | #Constraints: 28327
2359.97/2367.93 c #Conflicts: 642000 | #Constraints: 29327
2359.97/2367.93 c #Conflicts: 643000 | #Constraints: 30327
2359.97/2367.93 c #Conflicts: 644000 | #Constraints: 31327
2359.97/2367.93 c #Conflicts: 645000 | #Constraints: 32327
2359.97/2367.93 c #Conflicts: 646000 | #Constraints: 33327
2359.97/2367.93 c #Conflicts: 647000 | #Constraints: 34327
2359.97/2367.93 c #Conflicts: 648000 | #Constraints: 35327
2359.97/2367.93 c #Conflicts: 649000 | #Constraints: 36327
2359.97/2367.93 c #Conflicts: 650000 | #Constraints: 37327
2359.97/2367.93 c #Conflicts: 651000 | #Constraints: 38327
2359.97/2367.93 c #Conflicts: 652000 | #Constraints: 39327
2359.97/2367.93 c #Conflicts: 653000 | #Constraints: 40327
2359.97/2367.93 c #Conflicts: 654000 | #Constraints: 41327
2359.97/2367.93 c #Conflicts: 655000 | #Constraints: 42327
2359.97/2367.93 c #Conflicts: 656000 | #Constraints: 43327
2359.97/2367.93 c INPROCESSING
2359.97/2367.93 c GARBAGE COLLECT
2359.97/2367.93 c #Conflicts: 657000 | #Constraints: 28146
2359.97/2367.93 c #Conflicts: 658000 | #Constraints: 29146
2359.97/2367.93 c #Conflicts: 659000 | #Constraints: 30146
2359.97/2367.93 c #Conflicts: 660000 | #Constraints: 31146
2359.97/2367.93 c #Conflicts: 661000 | #Constraints: 32146
2359.97/2367.93 c #Conflicts: 662000 | #Constraints: 33146
2359.97/2367.93 c #Conflicts: 663000 | #Constraints: 34146
2359.97/2367.93 c #Conflicts: 664000 | #Constraints: 35146
2359.97/2367.93 c #Conflicts: 665000 | #Constraints: 36146
2359.97/2367.93 c #Conflicts: 666000 | #Constraints: 37146
2359.97/2367.93 c #Conflicts: 667000 | #Constraints: 38146
2631.99/2640.77 c #Conflicts: 668000 | #Constraints: 39146
2631.99/2640.77 c #Conflicts: 669000 | #Constraints: 40146
2631.99/2640.77 c #Conflicts: 670000 | #Constraints: 41146
2631.99/2640.77 c #Conflicts: 671000 | #Constraints: 42146
2631.99/2640.77 c #Conflicts: 672000 | #Constraints: 43146
2631.99/2640.77 c #Conflicts: 673000 | #Constraints: 44146
2631.99/2640.77 c INPROCESSING
2631.99/2640.77 c GARBAGE COLLECT
2631.99/2640.77 c #Conflicts: 674000 | #Constraints: 28749
2631.99/2640.77 c #Conflicts: 675000 | #Constraints: 29749
2631.99/2640.77 c #Conflicts: 676000 | #Constraints: 30749
2631.99/2640.77 c #Conflicts: 677000 | #Constraints: 31749
2631.99/2640.77 c #Conflicts: 678000 | #Constraints: 32749
2631.99/2640.77 c #Conflicts: 679000 | #Constraints: 33749
2631.99/2640.77 c #Conflicts: 680000 | #Constraints: 34749
2631.99/2640.77 c #Conflicts: 681000 | #Constraints: 35749
2631.99/2640.77 c #Conflicts: 682000 | #Constraints: 36749
2631.99/2640.77 c #Conflicts: 683000 | #Constraints: 37749
2631.99/2640.77 c #Conflicts: 684000 | #Constraints: 38749
2631.99/2640.77 c #Conflicts: 685000 | #Constraints: 39749
2631.99/2640.77 c #Conflicts: 686000 | #Constraints: 40749
2631.99/2640.77 c #Conflicts: 687000 | #Constraints: 41749
2631.99/2640.77 c #Conflicts: 688000 | #Constraints: 42749
2631.99/2640.77 c #Conflicts: 689000 | #Constraints: 43749
2631.99/2640.77 c #Conflicts: 690000 | #Constraints: 44749
2631.99/2640.77 c INPROCESSING
2631.99/2640.77 c GARBAGE COLLECT
2631.99/2640.77 c #Conflicts: 691000 | #Constraints: 29126
2631.99/2640.77 c #Conflicts: 692000 | #Constraints: 30126
2631.99/2640.77 c #Conflicts: 693000 | #Constraints: 31126
2631.99/2640.77 c #Conflicts: 694000 | #Constraints: 32126
2631.99/2640.77 c #Conflicts: 695000 | #Constraints: 33126
2631.99/2640.77 c #Conflicts: 696000 | #Constraints: 34126
2631.99/2640.77 c #Conflicts: 697000 | #Constraints: 35126
2631.99/2640.77 c #Conflicts: 698000 | #Constraints: 36126
2631.99/2640.77 c #Conflicts: 699000 | #Constraints: 37126
2631.99/2640.77 c #Conflicts: 700000 | #Constraints: 38126
2631.99/2640.77 c #Conflicts: 701000 | #Constraints: 39126
2631.99/2640.77 c #Conflicts: 702000 | #Constraints: 40126
2631.99/2640.77 c #Conflicts: 703000 | #Constraints: 41126
2631.99/2640.77 c #Conflicts: 704000 | #Constraints: 42126
2631.99/2640.77 c #Conflicts: 705000 | #Constraints: 43126
2631.99/2640.77 c #Conflicts: 706000 | #Constraints: 44126
2631.99/2640.77 c #Conflicts: 707000 | #Constraints: 45126
2631.99/2640.77 c INPROCESSING
2631.99/2640.77 c GARBAGE COLLECT
2631.99/2640.77 c #Conflicts: 708000 | #Constraints: 29319
2631.99/2640.77 c #Conflicts: 709000 | #Constraints: 30319
2631.99/2640.77 c #Conflicts: 710000 | #Constraints: 31319
2631.99/2640.77 c #Conflicts: 711000 | #Constraints: 32319
2631.99/2640.77 c #Conflicts: 712000 | #Constraints: 33319
2631.99/2640.77 c #Conflicts: 713000 | #Constraints: 34319
2631.99/2640.77 c #Conflicts: 714000 | #Constraints: 35319
2631.99/2640.77 c #Conflicts: 715000 | #Constraints: 36319
2631.99/2640.77 c #Conflicts: 716000 | #Constraints: 37319
2631.99/2640.77 c #Conflicts: 717000 | #Constraints: 38319
2631.99/2640.77 c #Conflicts: 718000 | #Constraints: 39319
2631.99/2640.77 c #Conflicts: 719000 | #Constraints: 40319
2631.99/2640.77 c #Conflicts: 720000 | #Constraints: 41319
2631.99/2640.77 c #Conflicts: 721000 | #Constraints: 42319
2631.99/2640.77 c #Conflicts: 722000 | #Constraints: 43319
2631.99/2640.77 c #Conflicts: 723000 | #Constraints: 44319
2631.99/2640.77 c #Conflicts: 724000 | #Constraints: 45319
2631.99/2640.77 c INPROCESSING
2631.99/2640.77 c GARBAGE COLLECT
2631.99/2640.77 c #Conflicts: 725000 | #Constraints: 29303
2631.99/2640.77 c #Conflicts: 726000 | #Constraints: 30303
2631.99/2640.77 c #Conflicts: 727000 | #Constraints: 31303
2631.99/2640.77 c #Conflicts: 728000 | #Constraints: 32303
2631.99/2640.77 c #Conflicts: 729000 | #Constraints: 33303
2631.99/2640.77 c #Conflicts: 730000 | #Constraints: 34303
2631.99/2640.77 c #Conflicts: 731000 | #Constraints: 35303
2631.99/2640.77 c #Conflicts: 732000 | #Constraints: 36303
2631.99/2640.77 c #Conflicts: 733000 | #Constraints: 37303
2631.99/2640.77 c #Conflicts: 734000 | #Constraints: 38303
2631.99/2640.77 c #Conflicts: 735000 | #Constraints: 39303
2631.99/2640.77 c #Conflicts: 736000 | #Constraints: 40303
2631.99/2640.77 c #Conflicts: 737000 | #Constraints: 41303
2631.99/2640.77 c #Conflicts: 738000 | #Constraints: 42303
2631.99/2640.77 c #Conflicts: 739000 | #Constraints: 43303
2631.99/2640.77 c #Conflicts: 740000 | #Constraints: 44303
2631.99/2640.77 c #Conflicts: 741000 | #Constraints: 45303
2631.99/2640.77 c INPROCESSING
2631.99/2640.77 c GARBAGE COLLECT
2631.99/2640.77 c #Conflicts: 742000 | #Constraints: 29114
2631.99/2640.77 c #Conflicts: 743000 | #Constraints: 30114
2939.57/2949.23 c #Conflicts: 744000 | #Constraints: 31114
2939.57/2949.23 c #Conflicts: 745000 | #Constraints: 32114
2939.57/2949.23 c #Conflicts: 746000 | #Constraints: 33114
2939.57/2949.23 c #Conflicts: 747000 | #Constraints: 34114
2939.57/2949.23 c #Conflicts: 748000 | #Constraints: 35114
2939.57/2949.23 c #Conflicts: 749000 | #Constraints: 36114
2939.57/2949.23 c #Conflicts: 750000 | #Constraints: 37114
2939.57/2949.23 c #Conflicts: 751000 | #Constraints: 38114
2939.57/2949.23 c #Conflicts: 752000 | #Constraints: 39114
2939.57/2949.23 c #Conflicts: 753000 | #Constraints: 40114
2939.57/2949.23 c #Conflicts: 754000 | #Constraints: 41114
2939.57/2949.23 c #Conflicts: 755000 | #Constraints: 42114
2939.57/2949.23 c #Conflicts: 756000 | #Constraints: 43114
2939.57/2949.23 c #Conflicts: 757000 | #Constraints: 44114
2939.57/2949.23 c #Conflicts: 758000 | #Constraints: 45114
2939.57/2949.23 c #Conflicts: 759000 | #Constraints: 46114
2939.57/2949.23 c INPROCESSING
2939.57/2949.23 c GARBAGE COLLECT
2939.57/2949.23 c #Conflicts: 760000 | #Constraints: 29729
2939.57/2949.23 c #Conflicts: 761000 | #Constraints: 30729
2939.57/2949.23 c #Conflicts: 762000 | #Constraints: 31729
2939.57/2949.23 c #Conflicts: 763000 | #Constraints: 32729
2939.57/2949.23 c #Conflicts: 764000 | #Constraints: 33729
2939.57/2949.23 c #Conflicts: 765000 | #Constraints: 34729
2939.57/2949.23 c #Conflicts: 766000 | #Constraints: 35729
2939.57/2949.23 c #Conflicts: 767000 | #Constraints: 36729
2939.57/2949.23 c #Conflicts: 768000 | #Constraints: 37729
2939.57/2949.23 c #Conflicts: 769000 | #Constraints: 38729
2939.57/2949.23 c #Conflicts: 770000 | #Constraints: 39729
2939.57/2949.23 c #Conflicts: 771000 | #Constraints: 40729
2939.57/2949.23 c #Conflicts: 772000 | #Constraints: 41729
2939.57/2949.23 c #Conflicts: 773000 | #Constraints: 42729
2939.57/2949.23 c #Conflicts: 774000 | #Constraints: 43729
2939.57/2949.23 c #Conflicts: 775000 | #Constraints: 44729
2939.57/2949.23 c #Conflicts: 776000 | #Constraints: 45729
2939.57/2949.23 c #Conflicts: 777000 | #Constraints: 46729
2939.57/2949.23 c INPROCESSING
2939.57/2949.23 c GARBAGE COLLECT
2939.57/2949.23 c #Conflicts: 778000 | #Constraints: 30131
2939.57/2949.23 c #Conflicts: 779000 | #Constraints: 31131
2939.57/2949.23 c #Conflicts: 780000 | #Constraints: 32131
2939.57/2949.23 c #Conflicts: 781000 | #Constraints: 33131
2939.57/2949.23 c #Conflicts: 782000 | #Constraints: 34131
2939.57/2949.23 c #Conflicts: 783000 | #Constraints: 35131
2939.57/2949.23 c #Conflicts: 784000 | #Constraints: 36131
2939.57/2949.23 c #Conflicts: 785000 | #Constraints: 37131
2939.57/2949.23 c #Conflicts: 786000 | #Constraints: 38131
2939.57/2949.23 c #Conflicts: 787000 | #Constraints: 39131
2939.57/2949.23 c #Conflicts: 788000 | #Constraints: 40131
2939.57/2949.23 c #Conflicts: 789000 | #Constraints: 41131
2939.57/2949.23 c #Conflicts: 790000 | #Constraints: 42131
2939.57/2949.23 c #Conflicts: 791000 | #Constraints: 43131
2939.57/2949.23 c #Conflicts: 792000 | #Constraints: 44131
2939.57/2949.23 c #Conflicts: 793000 | #Constraints: 45131
2939.57/2949.23 c #Conflicts: 794000 | #Constraints: 46131
2939.57/2949.23 c #Conflicts: 795000 | #Constraints: 47131
2939.57/2949.23 c INPROCESSING
2939.57/2949.23 c GARBAGE COLLECT
2939.57/2949.23 c #Conflicts: 796000 | #Constraints: 30324
2939.57/2949.23 c #Conflicts: 797000 | #Constraints: 31324
2939.57/2949.23 c #Conflicts: 798000 | #Constraints: 32324
2939.57/2949.23 c #Conflicts: 799000 | #Constraints: 33324
2939.57/2949.23 c #Conflicts: 800000 | #Constraints: 34324
2939.57/2949.23 c #Conflicts: 801000 | #Constraints: 35324
2939.57/2949.23 c #Conflicts: 802000 | #Constraints: 36324
2939.57/2949.23 c #Conflicts: 803000 | #Constraints: 37324
2939.57/2949.23 c #Conflicts: 804000 | #Constraints: 38324
2939.57/2949.23 c #Conflicts: 805000 | #Constraints: 39324
2939.57/2949.23 c #Conflicts: 806000 | #Constraints: 40324
2939.57/2949.23 c #Conflicts: 807000 | #Constraints: 41324
2939.57/2949.23 c #Conflicts: 808000 | #Constraints: 42324
2939.57/2949.23 c #Conflicts: 809000 | #Constraints: 43324
2939.57/2949.23 c #Conflicts: 810000 | #Constraints: 44324
2939.57/2949.23 c #Conflicts: 811000 | #Constraints: 45324
2939.57/2949.23 c #Conflicts: 812000 | #Constraints: 46324
2939.57/2949.23 c #Conflicts: 813000 | #Constraints: 47324
2939.57/2949.23 c INPROCESSING
2939.57/2949.23 c GARBAGE COLLECT
2939.57/2949.23 c #Conflicts: 814000 | #Constraints: 30285
2939.57/2949.23 c #Conflicts: 815000 | #Constraints: 31285
2939.57/2949.23 c #Conflicts: 816000 | #Constraints: 32285
2939.57/2949.23 c #Conflicts: 817000 | #Constraints: 33285
2939.57/2949.23 c #Conflicts: 818000 | #Constraints: 34285
2939.57/2949.23 c #Conflicts: 819000 | #Constraints: 35285
3371.72/3382.66 c #Conflicts: 820000 | #Constraints: 36285
3371.72/3382.66 c #Conflicts: 821000 | #Constraints: 37285
3371.72/3382.66 c #Conflicts: 822000 | #Constraints: 38285
3371.72/3382.66 c #Conflicts: 823000 | #Constraints: 39285
3371.72/3382.66 c #Conflicts: 824000 | #Constraints: 40285
3371.72/3382.66 c #Conflicts: 825000 | #Constraints: 41285
3371.72/3382.66 c #Conflicts: 826000 | #Constraints: 42285
3371.72/3382.66 c #Conflicts: 827000 | #Constraints: 43285
3371.72/3382.66 c #Conflicts: 828000 | #Constraints: 44285
3371.72/3382.66 c #Conflicts: 829000 | #Constraints: 45285
3371.72/3382.66 c #Conflicts: 830000 | #Constraints: 46285
3371.72/3382.66 c #Conflicts: 831000 | #Constraints: 47285
3371.72/3382.66 c INPROCESSING
3371.72/3382.66 c GARBAGE COLLECT
3371.72/3382.66 c #Conflicts: 832000 | #Constraints: 30122
3371.72/3382.66 c #Conflicts: 833000 | #Constraints: 31122
3371.72/3382.66 c #Conflicts: 834000 | #Constraints: 32122
3371.72/3382.66 c #Conflicts: 835000 | #Constraints: 33122
3371.72/3382.66 c #Conflicts: 836000 | #Constraints: 34122
3371.72/3382.66 c #Conflicts: 837000 | #Constraints: 35122
3371.72/3382.66 c #Conflicts: 838000 | #Constraints: 36122
3371.72/3382.67 c #Conflicts: 839000 | #Constraints: 37122
3371.72/3382.67 c #Conflicts: 840000 | #Constraints: 38122
3371.72/3382.67 c #Conflicts: 841000 | #Constraints: 39122
3371.72/3382.67 c #Conflicts: 842000 | #Constraints: 40122
3371.72/3382.67 c #Conflicts: 843000 | #Constraints: 41122
3371.72/3382.67 c #Conflicts: 844000 | #Constraints: 42122
3371.72/3382.67 c #Conflicts: 845000 | #Constraints: 43122
3371.72/3382.67 c #Conflicts: 846000 | #Constraints: 44122
3371.72/3382.67 c #Conflicts: 847000 | #Constraints: 45122
3371.72/3382.67 c #Conflicts: 848000 | #Constraints: 46122
3371.72/3382.67 c #Conflicts: 849000 | #Constraints: 47122
3371.72/3382.67 c #Conflicts: 850000 | #Constraints: 48122
3371.72/3382.67 c INPROCESSING
3371.72/3382.67 c GARBAGE COLLECT
3371.72/3382.67 c #Conflicts: 851000 | #Constraints: 30742
3371.72/3382.67 c #Conflicts: 852000 | #Constraints: 31742
3371.72/3382.67 c #Conflicts: 853000 | #Constraints: 32742
3371.72/3382.67 c #Conflicts: 854000 | #Constraints: 33742
3371.72/3382.67 c #Conflicts: 855000 | #Constraints: 34742
3371.72/3382.67 c #Conflicts: 856000 | #Constraints: 35742
3371.72/3382.67 c #Conflicts: 857000 | #Constraints: 36742
3371.72/3382.67 c #Conflicts: 858000 | #Constraints: 37742
3371.72/3382.67 c #Conflicts: 859000 | #Constraints: 38742
3371.72/3382.67 c #Conflicts: 860000 | #Constraints: 39742
3371.72/3382.67 c #Conflicts: 861000 | #Constraints: 40742
3371.72/3382.67 c #Conflicts: 862000 | #Constraints: 41742
3371.72/3382.67 c #Conflicts: 863000 | #Constraints: 42742
3371.72/3382.67 c #Conflicts: 864000 | #Constraints: 43742
3371.72/3382.67 c #Conflicts: 865000 | #Constraints: 44742
3371.72/3382.67 c #Conflicts: 866000 | #Constraints: 45742
3371.72/3382.67 c #Conflicts: 867000 | #Constraints: 46742
3371.72/3382.67 c #Conflicts: 868000 | #Constraints: 47742
3371.72/3382.67 c #Conflicts: 869000 | #Constraints: 48742
3371.72/3382.67 c INPROCESSING
3371.72/3382.67 c GARBAGE COLLECT
3371.72/3382.67 c #Conflicts: 870000 | #Constraints: 31127
3371.72/3382.67 c #Conflicts: 871000 | #Constraints: 32127
3371.72/3382.67 c #Conflicts: 872000 | #Constraints: 33127
3371.72/3382.67 c #Conflicts: 873000 | #Constraints: 34127
3371.72/3382.67 c #Conflicts: 874000 | #Constraints: 35127
3371.72/3382.67 c #Conflicts: 875000 | #Constraints: 36127
3371.72/3382.67 c #Conflicts: 876000 | #Constraints: 37127
3371.72/3382.67 c #Conflicts: 877000 | #Constraints: 38127
3371.72/3382.67 c #Conflicts: 878000 | #Constraints: 39127
3371.72/3382.67 c #Conflicts: 879000 | #Constraints: 40127
3371.72/3382.67 c #Conflicts: 880000 | #Constraints: 41127
3371.72/3382.67 c #Conflicts: 881000 | #Constraints: 42127
3371.72/3382.67 c #Conflicts: 882000 | #Constraints: 43127
3371.72/3382.67 c #Conflicts: 883000 | #Constraints: 44127
3371.72/3382.67 c #Conflicts: 884000 | #Constraints: 45127
3371.72/3382.67 c #Conflicts: 885000 | #Constraints: 46127
3371.72/3382.67 c #Conflicts: 886000 | #Constraints: 47127
3371.72/3382.67 c #Conflicts: 887000 | #Constraints: 48127
3371.72/3382.67 c #Conflicts: 888000 | #Constraints: 49127
3371.72/3382.67 c INPROCESSING
3371.72/3382.67 c GARBAGE COLLECT
3371.72/3382.67 c #Conflicts: 889000 | #Constraints: 31346
3371.72/3382.67 c #Conflicts: 890000 | #Constraints: 32346
3371.72/3382.67 c #Conflicts: 891000 | #Constraints: 33346
3371.72/3382.67 c #Conflicts: 892000 | #Constraints: 34346
3371.72/3382.67 c #Conflicts: 893000 | #Constraints: 35346
3371.72/3382.67 c #Conflicts: 894000 | #Constraints: 36346
3371.72/3382.67 c #Conflicts: 895000 | #Constraints: 37346
3600.04/3611.50 c #Conflicts: 896000 | #Constraints: 38346
3600.04/3611.50 c #Conflicts: 897000 | #Constraints: 39346
3600.04/3611.50 c #Conflicts: 898000 | #Constraints: 40346
3600.04/3611.50 c #Conflicts: 899000 | #Constraints: 41346
3600.04/3611.50 c #Conflicts: 900000 | #Constraints: 42346
3600.04/3611.50 c #Conflicts: 901000 | #Constraints: 43346
3600.04/3611.50 c #Conflicts: 902000 | #Constraints: 44346
3600.04/3611.50 c #Conflicts: 903000 | #Constraints: 45346
3600.04/3611.50 c #Conflicts: 904000 | #Constraints: 46346
3600.04/3611.50 c #Conflicts: 905000 | #Constraints: 47346
3600.04/3611.50 c #Conflicts: 906000 | #Constraints: 48346
3600.04/3611.50 c #Conflicts: 907000 | #Constraints: 49346
3600.04/3611.50 c INPROCESSING
3600.04/3611.50 c GARBAGE COLLECT
3600.04/3611.50 c #Conflicts: 908000 | #Constraints: 31353
3600.04/3611.50 c #Conflicts: 909000 | #Constraints: 32353
3600.04/3611.50 c #Conflicts: 910000 | #Constraints: 33353
3600.04/3611.50 c #Conflicts: 911000 | #Constraints: 34353
3600.04/3611.50 c #Conflicts: 912000 | #Constraints: 35353
3600.04/3611.50 c #Conflicts: 913000 | #Constraints: 36353
3600.04/3611.50 c #Conflicts: 914000 | #Constraints: 37353
3600.04/3611.50 c #Conflicts: 915000 | #Constraints: 38353
3600.04/3611.50 c #Conflicts: 916000 | #Constraints: 39353
3600.04/3611.50 c #Conflicts: 917000 | #Constraints: 40353
3600.04/3611.50 c #Conflicts: 918000 | #Constraints: 41353
3600.04/3611.50 c #Conflicts: 919000 | #Constraints: 42353
3600.04/3611.50 c #Conflicts: 920000 | #Constraints: 43353
3600.04/3611.50 c #Conflicts: 921000 | #Constraints: 44353
3600.04/3611.50 c #Conflicts: 922000 | #Constraints: 45353
3600.04/3611.50 c #Conflicts: 923000 | #Constraints: 46353
3600.04/3611.50 c #Conflicts: 924000 | #Constraints: 47353
3600.04/3611.50 c #Conflicts: 925000 | #Constraints: 48353
3600.04/3611.50 c #Conflicts: 926000 | #Constraints: 49353
3600.04/3611.50 c INPROCESSING
3600.04/3611.50 c GARBAGE COLLECT
3600.04/3611.50 c #Conflicts: 927000 | #Constraints: 31175
3600.04/3611.50 c #Conflicts: 928000 | #Constraints: 32175
3600.04/3611.50 c #Conflicts: 929000 | #Constraints: 33175
3600.04/3611.50 c #Conflicts: 930000 | #Constraints: 34175
3600.04/3611.50 c #Conflicts: 931000 | #Constraints: 35175
3600.04/3611.50 c #Conflicts: 932000 | #Constraints: 36175
3600.04/3611.50 c #Conflicts: 933000 | #Constraints: 37175
3600.04/3611.50 c #Conflicts: 934000 | #Constraints: 38175
3600.04/3611.50 c #Conflicts: 935000 | #Constraints: 39175
3600.04/3611.50 c #Conflicts: 936000 | #Constraints: 40175
3600.04/3611.50 c #Conflicts: 937000 | #Constraints: 41175
3600.04/3611.50 c #Conflicts: 938000 | #Constraints: 42175
3600.04/3611.50 c #Conflicts: 939000 | #Constraints: 43175
3600.04/3611.50 c #Conflicts: 940000 | #Constraints: 44175
3600.04/3611.50 c #Conflicts: 941000 | #Constraints: 45175
3600.04/3611.50 c #Conflicts: 942000 | #Constraints: 46175
3600.04/3611.50 c #Conflicts: 943000 | #Constraints: 47175
3600.04/3611.50 c #Conflicts: 944000 | #Constraints: 48175
3600.04/3611.50 c #Conflicts: 945000 | #Constraints: 49175
3600.04/3611.50 c cpu time 3565.66 s
3600.04/3611.50 c deterministic time 1 1.00e+00
3600.04/3611.50 c optimization time 3565.57 s
3600.04/3611.50 c total solve time 0 s
3600.04/3611.50 c core-guided solve time 0 s
3600.04/3611.50 c propagation time 0.006839 s
3600.04/3611.50 c conflict analysis time 0 s
3600.04/3611.50 c propagations 0
3600.04/3611.50 c resolve steps 0
3600.04/3611.50 c decisions 0
3600.04/3611.50 c conflicts 0
3600.04/3611.50 c restarts 0
3600.04/3611.50 c inprocessing phases 0
3600.04/3611.50 c garbage collections 0 ,( -nan )
3600.04/3611.50 c input clauses 22575 ,( 100.00 )
3600.04/3611.50 c input cardinalities 0 ,( 0.00 )
3600.04/3611.50 c input general constraints 0 ,( 0.00 )
3600.04/3611.50 c input average constraint length 2.98
3600.04/3611.50 c input average constraint degree 1.00
3600.04/3611.50 c learned clauses 0 ,( 0.00 )
3600.04/3611.50 c learned cardinalities 0 ,( 0.00 )
3600.04/3611.50 c learned general constraints 0 ,( 0.00 )
3600.04/3611.50 c learned average constraint length 0.00
3600.04/3611.50 c learned average constraint degree 0.00
3600.04/3611.50 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3611.50 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3611.50 c watched constraints 0 ,( -nan )
3600.04/3611.50 c counting constraints 0 ,( -nan )
3600.04/3611.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3611.50 c gcd simplifications 0
3600.04/3611.50 c detected cardinalities 0
3600.04/3611.50 c weakened non-implied lits 0
3600.04/3611.50 c weakened non-implying lits 0
3600.04/3611.50 c original variables 11400
3600.04/3611.50 c clausal propagations 0
3600.04/3611.50 c cardinality propagations 0
3600.04/3611.50 c watched propagations 0
3600.04/3611.50 c counting propagations 0
3600.04/3611.50 c watch lookups 0
3600.04/3611.50 c watch backjump lookups 0
3600.04/3611.50 c watch checks 0
3600.04/3611.50 c propagation checks 0
3600.04/3611.50 c constraint additions 0
3600.04/3611.50 c trail pops 0
3600.04/3611.50 c formula constraints 22575
3600.04/3611.50 c learned constraints 0
3600.04/3611.50 c bound constraints 0
3600.04/3611.50 c core-guided constraints 0
3600.04/3611.50 c encountered formula constraints 0
3600.04/3611.50 c encountered learned constraints 0
3600.04/3611.50 c encountered bound constraints 0
3600.04/3611.50 c encountered core-guided constraints 0
3600.04/3611.50 c LP total time 0 s
3600.04/3611.50 c LP solve time 0 s
3600.04/3611.50 c LP constraints added 0
3600.04/3611.50 c LP constraints removed 0
3600.04/3611.50 c LP pivots internal 0
3600.04/3611.50 c LP pivots root 0
3600.04/3611.50 c LP calls 0
3600.04/3611.50 c LP optimalities 0
3600.04/3611.50 c LP no pivot count 0
3600.04/3611.50 c LP infeasibilities 0
3600.04/3611.50 c LP valid Farkas constraints 0
3600.04/3611.50 c LP learned Farkas constraints 0
3600.04/3611.50 c LP basis resets 0
3600.04/3611.50 c LP cycling count 0
3600.04/3611.50 c LP singular count 0
3600.04/3611.50 c LP no primal count 0
3600.04/3611.50 c LP no farkas count 0
3600.04/3611.50 c LP other issue count 0
3600.04/3611.50 c LP Gomory cuts 0
3600.04/3611.50 c LP learned cuts 0
3600.04/3611.50 c LP deleted cuts 0
3600.04/3611.50 c LP encountered Gomory constraints 0
3600.04/3611.50 c LP encountered Farkas constraints 0
3600.04/3611.50 c LP encountered learned Farkas constraints 0
3600.04/3611.50 c CG auxiliary variables introduced 0
3600.04/3611.50 c CG solutions found 0
3600.04/3611.50 c CG cores constructed 0
3600.04/3611.50 c CG core cardinality constraints returned 0
3600.04/3611.50 c CG unit cores 0
3600.04/3611.50 c CG single cores 0
3600.04/3611.50 c CG blocks removed during cardinality reduction 0
3600.04/3611.50 c CG first core best 0
3600.04/3611.50 c CG decision core best 0
3600.04/3611.50 c CG core reduction tie 0
3600.04/3611.50 c CG core degree average 0.00
3600.04/3611.50 c CG core slack average 0.00
3600.04/3611.50 c CG core upper bound improvements 0
3600.04/3611.50 c STR number of successful calls 0
3600.04/3611.50 c STR number of unsuccessful calls 0
3600.04/3611.50 c STR number of inconclusive calls 0
3600.04/3611.50 c STR number of successful attempts 0
3600.04/3611.50 c STR number of unsuccessful attempts 0
3600.04/3611.50 c STR number of inconclusive attempts 0
3600.04/3611.50 c STR average degree increase per successful call inf
3600.04/3611.50 c STR average degree increase per successful attempt inf
3600.04/3611.50 c STR total number of conflicts for successful attempts 0
3600.04/3611.50 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3611.50 c STR total number of conflicts for inconclusive attempts 0
3600.04/3611.50 c STR average number of conflicts per successful attempt inf
3600.04/3611.50 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3611.50 c STR average number of conflicts per inconclusive attempt inf
3600.04/3611.50 c AVG.sumWPerc -nan
3600.04/3611.50 c bigint constraints 0
3600.04/3611.50 s UNKNOWN
3600.04/3611.50 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: 63665 MiB (54651 MiB free)
memory of node 1: 64507 MiB (57041 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518825-1751544880/watcher-4518825-1751544880 -o /tmp/evaluation-result-4518825-1751544880/solver-4518825-1751544880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751536445-76785 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4518825-1751544880.opb PROOFDIR/proof-4518825-1751544880
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=78084, runsolver pid=78081
[startup+0.100062 s]*
/proc/loadavg: 4.24 4.13 4.10 5/269 78086
/proc/meminfo: memFree=114364712/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=72504 memory=25780 CPUtime=0.08 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 4522 0 0 0 6 2 0 0 20 0 1 0 70165655 74244096 6445 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 18126 6445 2240 1147 0 5553 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 76696 KiB
Current children cumulated memory: 28852 KiB
[startup+0.205729 s]*
/proc/loadavg: 4.24 4.13 4.10 5/269 78086
/proc/meminfo: memFree=114344740/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=94208 memory=43272 CPUtime=0.18 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 7900 0 0 0 14 4 0 0 20 0 1 0 70165655 96468992 10818 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 23552 10818 2336 1147 0 10979 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 98400 KiB
Current children cumulated memory: 46344 KiB
[startup+0.30565 s]*
/proc/loadavg: 4.24 4.13 4.10 5/269 78086
/proc/meminfo: memFree=114316704/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=109456 memory=59716 CPUtime=0.29 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 10484 0 0 0 24 5 0 0 20 0 1 0 70165655 112082944 14929 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 27364 14929 2336 1147 0 14791 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 113648 KiB
Current children cumulated memory: 62788 KiB
[startup+0.70018 s]
/proc/loadavg: 4.24 4.13 4.10 5/269 78086
/proc/meminfo: memFree=114299440/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=151664 memory=103368 CPUtime=0.67 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 17315 0 0 0 61 6 0 0 20 0 1 0 70165655 155303936 25842 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 37916 25842 2336 1147 0 25343 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 155856 KiB
Current children cumulated memory: 106440 KiB
[startup+1.5002 s]
/proc/loadavg: 4.24 4.13 4.10 5/269 78086
/proc/meminfo: memFree=114220876/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=290980 memory=213960 CPUtime=1.47 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 39860 0 0 0 136 11 0 0 20 0 1 0 70165655 297963520 53490 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 72745 53490 2336 1147 0 60172 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 295172 KiB
Current children cumulated memory: 217032 KiB
[startup+3.10555 s]
/proc/loadavg: 4.24 4.13 4.10 4/269 78086
/proc/meminfo: memFree=114051244/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=400908 memory=323368 CPUtime=3.08 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 58563 0 0 0 291 17 0 0 20 0 1 0 70165655 410529792 80842 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 100227 80842 2336 1147 0 87654 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 405100 KiB
Current children cumulated memory: 326440 KiB
[startup+6.30016 s]
/proc/loadavg: 4.22 4.13 4.10 4/269 78086
/proc/meminfo: memFree=113776548/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=744320 memory=569308 CPUtime=6.26 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 104718 0 0 0 599 27 0 0 20 0 1 0 70165655 762183680 142327 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 186080 142327 2336 1147 0 173507 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 748512 KiB
Current children cumulated memory: 572380 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.13 4.10 5/269 78087
/proc/meminfo: memFree=113680636/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=744320 memory=569564 CPUtime=12.63 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 104801 0 0 0 1229 34 0 0 20 0 1 0 70165655 762183680 142391 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 186080 142391 2336 1147 0 173507 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 748512 KiB
Current children cumulated memory: 572636 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.10 5/269 78087
/proc/meminfo: memFree=113296436/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=758756 memory=599908 CPUtime=25.36 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 107285 0 0 0 2488 48 0 0 20 0 1 0 70165655 776966144 149977 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 189689 149977 2336 1147 0 177116 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 762948 KiB
Current children cumulated memory: 602980 KiB
[startup+51.1056 s]
/proc/loadavg: 4.16 4.12 4.10 5/269 78087
/proc/meminfo: memFree=112610916/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=758756 memory=600292 CPUtime=50.86 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 107392 0 0 0 5010 76 0 0 20 0 1 0 70165655 776966144 150073 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 189689 150073 2336 1147 0 177116 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 762948 KiB
Current children cumulated memory: 603364 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/271 78095
/proc/meminfo: memFree=111427412/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=758756 memory=603492 CPUtime=101.84 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 108211 0 0 0 10045 139 0 0 20 0 1 0 70165655 776966144 150873 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 189689 150873 2336 1147 0 177116 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 762948 KiB
Current children cumulated memory: 606564 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/271 78097
/proc/meminfo: memFree=109757120/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=758756 memory=616036 CPUtime=161.56 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 110354 0 0 0 15940 216 0 0 20 0 1 0 70165655 776966144 154009 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 189689 154009 2336 1147 0 177116 0
Current children cumulated CPU time: 161.56 s
Current children cumulated vsize: 762948 KiB
Current children cumulated memory: 619108 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 78127
/proc/meminfo: memFree=112985516/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=1032308 memory=760268 CPUtime=221.26 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 135707 0 0 0 21845 281 0 0 20 0 1 0 70165655 1057083392 190067 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 258077 190067 2336 1147 0 245504 0
################
# More data... #
################
/proc/78086/statm: 505891 430242 2336 1147 0 493318 0
Current children cumulated CPU time: 3092.21 s
Current children cumulated vsize: 2027756 KiB
Current children cumulated memory: 1724040 KiB
[startup+3162.3 s]
/proc/loadavg: 3.04 3.31 3.70 4/264 78407
/proc/meminfo: memFree=103068804/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=2087120 memory=1785224 CPUtime=3152.02 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 280977 0 0 0 312078 3124 0 0 20 0 1 0 70165655 2137210880 446306 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 521780 446306 2336 1147 0 509207 0
Current children cumulated CPU time: 3152.02 s
Current children cumulated vsize: 2091312 KiB
Current children cumulated memory: 1788296 KiB
[startup+3222.3 s]
/proc/loadavg: 3.11 3.29 3.66 4/265 78410
/proc/meminfo: memFree=102859936/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=2087120 memory=1785224 CPUtime=3211.84 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 280977 0 0 0 318032 3152 0 0 20 0 1 0 70165655 2137210880 446306 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 521780 446306 2336 1147 0 509207 0
Current children cumulated CPU time: 3211.84 s
Current children cumulated vsize: 2091312 KiB
Current children cumulated memory: 1788296 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.25 3.62 4/264 78412
/proc/meminfo: memFree=102609500/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=2087120 memory=1798024 CPUtime=3271.67 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 281283 0 0 0 323988 3179 0 0 20 0 1 0 70165655 2137210880 449506 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 521780 449506 2336 1147 0 509207 0
Current children cumulated CPU time: 3271.67 s
Current children cumulated vsize: 2091312 KiB
Current children cumulated memory: 1801096 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.23 3.60 4/265 78416
/proc/meminfo: memFree=102305380/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=2087120 memory=1830792 CPUtime=3331.52 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 281641 0 0 0 329943 3209 0 0 20 0 1 0 70165655 2137210880 457698 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 521780 457698 2336 1147 0 509207 0
Current children cumulated CPU time: 3331.52 s
Current children cumulated vsize: 2091312 KiB
Current children cumulated memory: 1833864 KiB
[startup+3402.3 s]
/proc/loadavg: 3.11 3.20 3.56 4/265 78421
/proc/meminfo: memFree=101930648/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=2087120 memory=1861256 CPUtime=3391.36 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 281675 0 0 0 335864 3272 0 0 20 0 1 0 70165655 2137210880 465314 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 521780 465314 2336 1147 0 509207 0
Current children cumulated CPU time: 3391.36 s
Current children cumulated vsize: 2091312 KiB
Current children cumulated memory: 1864328 KiB
[startup+3462.3 s]
/proc/loadavg: 3.08 3.18 3.53 4/266 78426
/proc/meminfo: memFree=101593924/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=2087508 memory=1897096 CPUtime=3451.21 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 281759 0 0 0 341787 3334 0 0 20 0 1 0 70165655 2137608192 474274 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 521877 474274 2336 1147 0 509304 0
Current children cumulated CPU time: 3451.21 s
Current children cumulated vsize: 2091700 KiB
Current children cumulated memory: 1900168 KiB
[startup+3522.3 s]
/proc/loadavg: 3.14 3.17 3.50 4/267 78429
/proc/meminfo: memFree=101384164/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=2087508 memory=1927432 CPUtime=3511.06 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 281772 0 0 0 347727 3379 0 0 20 0 1 0 70165655 2137608192 481858 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 521877 481858 2336 1147 0 509304 0
Current children cumulated CPU time: 3511.06 s
Current children cumulated vsize: 2091700 KiB
Current children cumulated memory: 1930504 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.16 3.47 4/267 78432
/proc/meminfo: memFree=101129316/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=2087508 memory=1964168 CPUtime=3570.91 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 282512 0 0 0 353659 3432 0 0 20 0 1 0 70165655 2137608192 491042 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 521877 491042 2336 1147 0 509304 0
Current children cumulated CPU time: 3570.91 s
Current children cumulated vsize: 2091700 KiB
Current children cumulated memory: 1967240 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 3.12 3.16 3.46 4/265 78433
/proc/meminfo: memFree=101071932/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=2087508 memory=1976712 CPUtime=3600.04 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 282644 0 0 0 356565 3439 0 0 20 0 1 0 70165655 2137608192 494178 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 521877 494178 2336 1147 0 509304 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2091700 KiB
Current children cumulated memory: 1979784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.5 s]
# the end of solver process 78084 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.001844 s
[startup+3611.55 s]
# the end of solver process 78086 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3565.67 s, system=34.4064 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]
/proc/loadavg: 3.12 3.16 3.46 4/265 78433
/proc/meminfo: memFree=101071932/131249996 swapFree=33003468/33010684
[pid=78084] ppid=78081 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/78084/stat : 78084 (run-opt-log.sh) S 78081 78084 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70165654 4292608 768 18446744073709551615 94530635575296 94530636469829 140725267709056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94530636708880 94530636756624 94530648719360 140725267712289 140725267712484 140725267712484 140725267718086 0
/proc/78084/statm: 1048 768 704 219 0 110 0
[pid=78086] ppid=78084 vsize=2087508 memory=1976712 CPUtime=3600.04 cores=4,6
/proc/78086/stat : 78086 (roundingsat) R 78084 78084 76774 0 -1 4194304 282644 0 0 0 356565 3439 0 0 20 0 1 0 70165655 2137608192 494178 18446744073709551615 4227072 8923433 140735543117424 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40607744 140735543126354 140735543126568 140735543126568 140735543132138 0
/proc/78086/statm: 521877 494178 2336 1147 0 509304 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2091700 KiB
Current children cumulated memory: 1979784 KiB
Child status: 2
Real time (s): 3611.55
CPU time (s): 3600.07
CPU user time (s): 3565.67
CPU system time (s): 34.4064
CPU usage (%): 99.6821
Max. virtual memory (cumulated for all children) (KiB): 2091700
Max. memory (cumulated for all children) (KiB): 1979784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.67
system time used= 34.4064
maximum resident set size= 1977096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282882
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26507672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1034
involuntary context switches= 5120
# summary of solver processes directly reported to runsolver:
# pid: 78084,78086
# total CPU time (s): 3600.07
# total CPU user time (s): 3565.67
# total CPU system time (s): 34.4064
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10182 second user time and 16.3148 second system time
The end
Begin job on nodeC021 at 2025-07-03 14:14:40
IDJOB=4518825
IDBENCH=177101
IDSOLVER=3351
FILE ID=nodeC021/4518825-1751544880
RUNJOBID= nodeC021-1751536445-76785
SLURM_JOB_ID= 9598688
Free space on /tmp= 430936 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebvc/normalized-comppebvc_opt_75.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518825-1751544880/watcher-4518825-1751544880 -o /tmp/evaluation-result-4518825-1751544880/solver-4518825-1751544880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751536445-76785 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4518825-1751544880.opb PROOFDIR/proof-4518825-1751544880
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 54c9cb8452a5bc0fdf8cdacd374d003e
RANDOM SEED=1882768937
nodeC021 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.773
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.56
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.783
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.56
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 : 3603.686
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.56
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 : 3700.000
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.56
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 : 3597.479
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.56
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 : 3599.780
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.56
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 : 3599.776
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.56
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 : 3637.440
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 114373660 kB
MemAvailable: 128912072 kB
Buffers: 1056 kB
Cached: 15272512 kB
SwapCached: 32 kB
Active: 1277556 kB
Inactive: 14810148 kB
Active(anon): 786672 kB
Inactive(anon): 40944 kB
Active(file): 490884 kB
Inactive(file): 14769204 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 560384 kB
Writeback: 4 kB
AnonPages: 814968 kB
Mapped: 108760 kB
Shmem: 13452 kB
KReclaimable: 234724 kB
Slab: 343724 kB
SReclaimable: 234724 kB
SUnreclaim: 109000 kB
KernelStack: 4304 kB
PageTables: 4756 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1281460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 450560 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= 430936 MiB
End job on nodeC021 at 2025-07-03 15:14:51