0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.10 c #variables 11400 #constraints 22575
0.08/0.10 c objective is ce32
0.08/0.13 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.08/0.13 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.08/0.13 c GLOBAL bounds - >= 0 @ 0.080495
0.08/0.14 c GLOBAL bounds - >= 0 @ 0.085447
141.13/141.51 c #Conflicts: 1000 | #Constraints: 12400
141.13/141.51 c #Conflicts: 2000 | #Constraints: 13400
141.13/141.51 c INPROCESSING
141.13/141.51 c #Conflicts: 3000 | #Constraints: 14194
141.13/141.51 c #Conflicts: 4000 | #Constraints: 15194
141.13/141.51 c #Conflicts: 5000 | #Constraints: 16194
141.13/141.51 c #Conflicts: 6000 | #Constraints: 17194
141.13/141.51 c INPROCESSING
141.13/141.51 c GARBAGE COLLECT
141.13/141.51 c #Conflicts: 7000 | #Constraints: 16078
141.13/141.51 c #Conflicts: 8000 | #Constraints: 17078
141.13/141.51 c #Conflicts: 9000 | #Constraints: 18078
141.13/141.51 c #Conflicts: 10000 | #Constraints: 19078
141.13/141.51 c INPROCESSING
141.13/141.51 c GARBAGE COLLECT
141.13/141.51 c #Conflicts: 11000 | #Constraints: 16356
141.13/141.51 c #Conflicts: 12000 | #Constraints: 17356
141.13/141.51 c #Conflicts: 13000 | #Constraints: 18356
141.13/141.51 c #Conflicts: 14000 | #Constraints: 19356
141.13/141.51 c INPROCESSING
141.13/141.51 c GARBAGE COLLECT
141.13/141.51 c #Conflicts: 15000 | #Constraints: 16526
141.13/141.51 c #Conflicts: 16000 | #Constraints: 17526
141.13/141.51 c #Conflicts: 17000 | #Constraints: 18526
141.13/141.51 c #Conflicts: 18000 | #Constraints: 19526
141.13/141.51 c INPROCESSING
141.13/141.51 c GARBAGE COLLECT
141.13/141.51 c #Conflicts: 19000 | #Constraints: 16718
141.13/141.51 c #Conflicts: 20000 | #Constraints: 17718
141.13/141.51 c #Conflicts: 21000 | #Constraints: 18718
141.13/141.51 c #Conflicts: 22000 | #Constraints: 19718
141.13/141.51 c INPROCESSING
141.13/141.51 c GARBAGE COLLECT
141.13/141.51 c #Conflicts: 23000 | #Constraints: 16600
141.13/141.51 c #Conflicts: 24000 | #Constraints: 17600
141.13/141.51 c #Conflicts: 25000 | #Constraints: 18600
141.13/141.51 c #Conflicts: 26000 | #Constraints: 19600
141.13/141.51 c INPROCESSING
141.13/141.51 c GARBAGE COLLECT
141.13/141.51 c #Conflicts: 27000 | #Constraints: 16333
141.13/141.51 c #Conflicts: 28000 | #Constraints: 17333
141.13/141.51 c #Conflicts: 29000 | #Constraints: 18333
141.13/141.51 c #Conflicts: 30000 | #Constraints: 19333
141.13/141.51 c #Conflicts: 31000 | #Constraints: 20333
141.13/141.51 c INPROCESSING
141.13/141.51 c GARBAGE COLLECT
141.13/141.51 c #Conflicts: 32000 | #Constraints: 16904
141.13/141.51 c #Conflicts: 33000 | #Constraints: 17904
141.13/141.51 c #Conflicts: 34000 | #Constraints: 18904
141.13/141.51 c #Conflicts: 35000 | #Constraints: 19904
141.13/141.51 c #Conflicts: 36000 | #Constraints: 20904
141.13/141.51 c INPROCESSING
141.13/141.51 c GARBAGE COLLECT
141.13/141.51 c #Conflicts: 37000 | #Constraints: 17263
141.13/141.51 c #Conflicts: 38000 | #Constraints: 18263
141.13/141.51 c #Conflicts: 39000 | #Constraints: 19263
141.13/141.51 c #Conflicts: 40000 | #Constraints: 20263
141.13/141.51 c #Conflicts: 41000 | #Constraints: 21263
141.13/141.51 c INPROCESSING
141.13/141.51 c GARBAGE COLLECT
141.13/141.51 c #Conflicts: 42000 | #Constraints: 17461
141.13/141.51 c #Conflicts: 43000 | #Constraints: 18461
141.13/141.51 c #Conflicts: 44000 | #Constraints: 19461
141.13/141.51 c #Conflicts: 45000 | #Constraints: 20461
141.13/141.51 c #Conflicts: 46000 | #Constraints: 21461
141.13/141.51 c INPROCESSING
141.13/141.51 c GARBAGE COLLECT
141.13/141.51 c #Conflicts: 47000 | #Constraints: 17458
141.13/141.51 c #Conflicts: 48000 | #Constraints: 18458
141.13/141.51 c #Conflicts: 49000 | #Constraints: 19458
141.13/141.51 c #Conflicts: 50000 | #Constraints: 20458
141.13/141.51 c #Conflicts: 51000 | #Constraints: 21458
141.13/141.51 c INPROCESSING
141.13/141.51 c GARBAGE COLLECT
141.13/141.51 c #Conflicts: 52000 | #Constraints: 17281
141.13/141.51 c #Conflicts: 53000 | #Constraints: 18281
141.13/141.51 c #Conflicts: 54000 | #Constraints: 19281
141.13/141.51 c #Conflicts: 55000 | #Constraints: 20281
141.13/141.51 c #Conflicts: 56000 | #Constraints: 21281
141.13/141.51 c #Conflicts: 57000 | #Constraints: 22281
141.13/141.51 c INPROCESSING
141.13/141.51 c GARBAGE COLLECT
141.13/141.51 c #Conflicts: 58000 | #Constraints: 17870
141.13/141.51 c #Conflicts: 59000 | #Constraints: 18870
141.13/141.51 c #Conflicts: 60000 | #Constraints: 19870
141.13/141.51 c #Conflicts: 61000 | #Constraints: 20870
141.13/141.51 c #Conflicts: 62000 | #Constraints: 21870
141.13/141.51 c #Conflicts: 63000 | #Constraints: 22870
141.13/141.51 c INPROCESSING
141.13/141.51 c GARBAGE COLLECT
141.13/141.51 c #Conflicts: 64000 | #Constraints: 18256
141.13/141.51 c #Conflicts: 65000 | #Constraints: 19256
141.13/141.51 c #Conflicts: 66000 | #Constraints: 20256
141.13/141.51 c #Conflicts: 67000 | #Constraints: 21256
141.13/141.51 c #Conflicts: 68000 | #Constraints: 22256
141.13/141.51 c #Conflicts: 69000 | #Constraints: 23256
141.13/141.51 c INPROCESSING
141.13/141.51 c GARBAGE COLLECT
141.13/141.51 c #Conflicts: 70000 | #Constraints: 18453
331.16/332.05 c #Conflicts: 71000 | #Constraints: 19453
331.16/332.05 c #Conflicts: 72000 | #Constraints: 20453
331.16/332.05 c #Conflicts: 73000 | #Constraints: 21453
331.16/332.05 c #Conflicts: 74000 | #Constraints: 22453
331.16/332.05 c #Conflicts: 75000 | #Constraints: 23453
331.16/332.05 c INPROCESSING
331.16/332.05 c GARBAGE COLLECT
331.16/332.05 c #Conflicts: 76000 | #Constraints: 18475
331.16/332.05 c #Conflicts: 77000 | #Constraints: 19475
331.16/332.05 c #Conflicts: 78000 | #Constraints: 20475
331.16/332.05 c #Conflicts: 79000 | #Constraints: 21475
331.16/332.05 c #Conflicts: 80000 | #Constraints: 22475
331.16/332.05 c #Conflicts: 81000 | #Constraints: 23475
331.16/332.05 c INPROCESSING
331.16/332.05 c GARBAGE COLLECT
331.16/332.05 c #Conflicts: 82000 | #Constraints: 18266
331.16/332.05 c #Conflicts: 83000 | #Constraints: 19266
331.16/332.05 c #Conflicts: 84000 | #Constraints: 20266
331.16/332.05 c #Conflicts: 85000 | #Constraints: 21266
331.16/332.05 c #Conflicts: 86000 | #Constraints: 22266
331.16/332.05 c #Conflicts: 87000 | #Constraints: 23266
331.16/332.05 c #Conflicts: 88000 | #Constraints: 24266
331.16/332.05 c INPROCESSING
331.16/332.05 c GARBAGE COLLECT
331.16/332.05 c #Conflicts: 89000 | #Constraints: 18834
331.16/332.05 c #Conflicts: 90000 | #Constraints: 19834
331.16/332.05 c #Conflicts: 91000 | #Constraints: 20834
331.16/332.05 c #Conflicts: 92000 | #Constraints: 21834
331.16/332.05 c #Conflicts: 93000 | #Constraints: 22834
331.16/332.05 c #Conflicts: 94000 | #Constraints: 23834
331.16/332.05 c #Conflicts: 95000 | #Constraints: 24834
331.16/332.05 c INPROCESSING
331.16/332.05 c GARBAGE COLLECT
331.16/332.05 c #Conflicts: 96000 | #Constraints: 19220
331.16/332.05 c #Conflicts: 97000 | #Constraints: 20220
331.16/332.05 c #Conflicts: 98000 | #Constraints: 21220
331.16/332.05 c #Conflicts: 99000 | #Constraints: 22220
331.16/332.05 c #Conflicts: 100000 | #Constraints: 23220
331.16/332.05 c #Conflicts: 101000 | #Constraints: 24220
331.16/332.05 c #Conflicts: 102000 | #Constraints: 25220
331.16/332.05 c INPROCESSING
331.16/332.05 c GARBAGE COLLECT
331.16/332.05 c #Conflicts: 103000 | #Constraints: 19394
331.16/332.05 c #Conflicts: 104000 | #Constraints: 20394
331.16/332.05 c #Conflicts: 105000 | #Constraints: 21394
331.16/332.05 c #Conflicts: 106000 | #Constraints: 22394
331.16/332.05 c #Conflicts: 107000 | #Constraints: 23394
331.16/332.05 c #Conflicts: 108000 | #Constraints: 24394
331.16/332.05 c #Conflicts: 109000 | #Constraints: 25394
331.16/332.05 c INPROCESSING
331.16/332.05 c GARBAGE COLLECT
331.16/332.05 c #Conflicts: 110000 | #Constraints: 19332
331.16/332.05 c #Conflicts: 111000 | #Constraints: 20332
331.16/332.05 c #Conflicts: 112000 | #Constraints: 21332
331.16/332.05 c #Conflicts: 113000 | #Constraints: 22332
331.16/332.05 c #Conflicts: 114000 | #Constraints: 23332
331.16/332.05 c #Conflicts: 115000 | #Constraints: 24332
331.16/332.05 c #Conflicts: 116000 | #Constraints: 25332
331.16/332.05 c INPROCESSING
331.16/332.05 c GARBAGE COLLECT
331.16/332.05 c #Conflicts: 117000 | #Constraints: 19089
331.16/332.05 c #Conflicts: 118000 | #Constraints: 20089
331.16/332.05 c #Conflicts: 119000 | #Constraints: 21089
331.16/332.05 c #Conflicts: 120000 | #Constraints: 22089
331.16/332.05 c #Conflicts: 121000 | #Constraints: 23089
331.16/332.05 c #Conflicts: 122000 | #Constraints: 24089
331.16/332.05 c #Conflicts: 123000 | #Constraints: 25089
331.16/332.05 c #Conflicts: 124000 | #Constraints: 26089
331.16/332.05 c INPROCESSING
331.16/332.05 c GARBAGE COLLECT
331.16/332.05 c #Conflicts: 125000 | #Constraints: 19752
331.16/332.05 c #Conflicts: 126000 | #Constraints: 20752
331.16/332.05 c #Conflicts: 127000 | #Constraints: 21752
331.16/332.05 c #Conflicts: 128000 | #Constraints: 22752
331.16/332.05 c #Conflicts: 129000 | #Constraints: 23752
331.16/332.05 c #Conflicts: 130000 | #Constraints: 24752
331.16/332.05 c #Conflicts: 131000 | #Constraints: 25752
331.16/332.05 c #Conflicts: 132000 | #Constraints: 26752
331.16/332.05 c INPROCESSING
331.16/332.05 c GARBAGE COLLECT
331.16/332.05 c #Conflicts: 133000 | #Constraints: 20157
331.16/332.05 c #Conflicts: 134000 | #Constraints: 21157
331.16/332.05 c #Conflicts: 135000 | #Constraints: 22157
331.16/332.05 c #Conflicts: 136000 | #Constraints: 23157
331.16/332.05 c #Conflicts: 137000 | #Constraints: 24157
331.16/332.05 c #Conflicts: 138000 | #Constraints: 25157
331.16/332.05 c #Conflicts: 139000 | #Constraints: 26157
331.16/332.05 c #Conflicts: 140000 | #Constraints: 27157
331.16/332.05 c INPROCESSING
331.16/332.05 c GARBAGE COLLECT
331.16/332.05 c #Conflicts: 141000 | #Constraints: 20317
331.16/332.05 c #Conflicts: 142000 | #Constraints: 21317
331.16/332.05 c #Conflicts: 143000 | #Constraints: 22317
572.16/573.66 c #Conflicts: 144000 | #Constraints: 23317
572.16/573.66 c #Conflicts: 145000 | #Constraints: 24317
572.16/573.66 c #Conflicts: 146000 | #Constraints: 25317
572.16/573.66 c #Conflicts: 147000 | #Constraints: 26317
572.16/573.66 c #Conflicts: 148000 | #Constraints: 27317
572.16/573.66 c INPROCESSING
572.16/573.66 c GARBAGE COLLECT
572.16/573.66 c #Conflicts: 149000 | #Constraints: 20285
572.16/573.66 c #Conflicts: 150000 | #Constraints: 21285
572.16/573.66 c #Conflicts: 151000 | #Constraints: 22285
572.16/573.66 c #Conflicts: 152000 | #Constraints: 23285
572.16/573.66 c #Conflicts: 153000 | #Constraints: 24285
572.16/573.66 c #Conflicts: 154000 | #Constraints: 25285
572.16/573.66 c #Conflicts: 155000 | #Constraints: 26285
572.16/573.66 c #Conflicts: 156000 | #Constraints: 27285
572.16/573.66 c INPROCESSING
572.16/573.66 c GARBAGE COLLECT
572.16/573.66 c #Conflicts: 157000 | #Constraints: 20104
572.16/573.66 c #Conflicts: 158000 | #Constraints: 21104
572.16/573.66 c #Conflicts: 159000 | #Constraints: 22104
572.16/573.66 c #Conflicts: 160000 | #Constraints: 23104
572.16/573.66 c #Conflicts: 161000 | #Constraints: 24104
572.16/573.66 c #Conflicts: 162000 | #Constraints: 25104
572.16/573.66 c #Conflicts: 163000 | #Constraints: 26104
572.16/573.66 c #Conflicts: 164000 | #Constraints: 27104
572.16/573.66 c #Conflicts: 165000 | #Constraints: 28104
572.16/573.66 c INPROCESSING
572.16/573.66 c GARBAGE COLLECT
572.16/573.66 c #Conflicts: 166000 | #Constraints: 20766
572.16/573.66 c #Conflicts: 167000 | #Constraints: 21766
572.16/573.66 c #Conflicts: 168000 | #Constraints: 22766
572.16/573.66 c #Conflicts: 169000 | #Constraints: 23766
572.16/573.66 c #Conflicts: 170000 | #Constraints: 24766
572.16/573.66 c #Conflicts: 171000 | #Constraints: 25766
572.16/573.66 c #Conflicts: 172000 | #Constraints: 26766
572.16/573.66 c #Conflicts: 173000 | #Constraints: 27766
572.16/573.66 c #Conflicts: 174000 | #Constraints: 28766
572.16/573.66 c INPROCESSING
572.16/573.66 c GARBAGE COLLECT
572.16/573.66 c #Conflicts: 175000 | #Constraints: 21153
572.16/573.66 c #Conflicts: 176000 | #Constraints: 22153
572.16/573.66 c #Conflicts: 177000 | #Constraints: 23153
572.16/573.66 c #Conflicts: 178000 | #Constraints: 24153
572.16/573.66 c #Conflicts: 179000 | #Constraints: 25153
572.16/573.66 c #Conflicts: 180000 | #Constraints: 26153
572.16/573.66 c #Conflicts: 181000 | #Constraints: 27153
572.16/573.66 c #Conflicts: 182000 | #Constraints: 28153
572.16/573.66 c #Conflicts: 183000 | #Constraints: 29153
572.16/573.66 c INPROCESSING
572.16/573.66 c GARBAGE COLLECT
572.16/573.66 c #Conflicts: 184000 | #Constraints: 21338
572.16/573.66 c #Conflicts: 185000 | #Constraints: 22338
572.16/573.66 c #Conflicts: 186000 | #Constraints: 23338
572.16/573.66 c #Conflicts: 187000 | #Constraints: 24338
572.16/573.66 c #Conflicts: 188000 | #Constraints: 25338
572.16/573.66 c #Conflicts: 189000 | #Constraints: 26338
572.16/573.66 c #Conflicts: 190000 | #Constraints: 27338
572.16/573.66 c #Conflicts: 191000 | #Constraints: 28338
572.16/573.66 c #Conflicts: 192000 | #Constraints: 29338
572.16/573.66 c INPROCESSING
572.16/573.66 c GARBAGE COLLECT
572.16/573.66 c #Conflicts: 193000 | #Constraints: 21291
572.16/573.66 c #Conflicts: 194000 | #Constraints: 22291
572.16/573.66 c #Conflicts: 195000 | #Constraints: 23291
572.16/573.66 c #Conflicts: 196000 | #Constraints: 24291
572.16/573.66 c #Conflicts: 197000 | #Constraints: 25291
572.16/573.66 c #Conflicts: 198000 | #Constraints: 26291
572.16/573.66 c #Conflicts: 199000 | #Constraints: 27291
572.16/573.66 c #Conflicts: 200000 | #Constraints: 28291
572.16/573.66 c #Conflicts: 201000 | #Constraints: 29291
572.16/573.66 c INPROCESSING
572.16/573.66 c GARBAGE COLLECT
572.16/573.66 c #Conflicts: 202000 | #Constraints: 21070
572.16/573.66 c #Conflicts: 203000 | #Constraints: 22070
572.16/573.66 c #Conflicts: 204000 | #Constraints: 23070
572.16/573.66 c #Conflicts: 205000 | #Constraints: 24070
572.16/573.66 c #Conflicts: 206000 | #Constraints: 25070
572.16/573.66 c #Conflicts: 207000 | #Constraints: 26070
572.16/573.66 c #Conflicts: 208000 | #Constraints: 27070
572.16/573.66 c #Conflicts: 209000 | #Constraints: 28070
572.16/573.66 c #Conflicts: 210000 | #Constraints: 29070
572.16/573.66 c #Conflicts: 211000 | #Constraints: 30070
572.16/573.66 c INPROCESSING
572.16/573.66 c GARBAGE COLLECT
572.16/573.66 c #Conflicts: 212000 | #Constraints: 21663
572.16/573.66 c #Conflicts: 213000 | #Constraints: 22663
572.16/573.66 c #Conflicts: 214000 | #Constraints: 23663
572.16/573.66 c #Conflicts: 215000 | #Constraints: 24663
572.16/573.66 c #Conflicts: 216000 | #Constraints: 25663
822.21/824.33 c #Conflicts: 217000 | #Constraints: 26663
822.21/824.33 c #Conflicts: 218000 | #Constraints: 27663
822.21/824.33 c #Conflicts: 219000 | #Constraints: 28663
822.21/824.33 c #Conflicts: 220000 | #Constraints: 29663
822.21/824.33 c #Conflicts: 221000 | #Constraints: 30663
822.21/824.33 c INPROCESSING
822.21/824.33 c GARBAGE COLLECT
822.21/824.33 c #Conflicts: 222000 | #Constraints: 22057
822.21/824.33 c #Conflicts: 223000 | #Constraints: 23057
822.21/824.33 c #Conflicts: 224000 | #Constraints: 24057
822.21/824.33 c #Conflicts: 225000 | #Constraints: 25057
822.21/824.33 c #Conflicts: 226000 | #Constraints: 26057
822.21/824.33 c #Conflicts: 227000 | #Constraints: 27057
822.21/824.33 c #Conflicts: 228000 | #Constraints: 28057
822.21/824.33 c #Conflicts: 229000 | #Constraints: 29057
822.21/824.33 c #Conflicts: 230000 | #Constraints: 30057
822.21/824.33 c #Conflicts: 231000 | #Constraints: 31057
822.21/824.33 c INPROCESSING
822.21/824.33 c GARBAGE COLLECT
822.21/824.33 c #Conflicts: 232000 | #Constraints: 22251
822.21/824.33 c #Conflicts: 233000 | #Constraints: 23251
822.21/824.33 c #Conflicts: 234000 | #Constraints: 24251
822.21/824.33 c #Conflicts: 235000 | #Constraints: 25251
822.21/824.33 c #Conflicts: 236000 | #Constraints: 26251
822.21/824.33 c #Conflicts: 237000 | #Constraints: 27251
822.21/824.33 c #Conflicts: 238000 | #Constraints: 28251
822.21/824.33 c #Conflicts: 239000 | #Constraints: 29251
822.21/824.33 c #Conflicts: 240000 | #Constraints: 30251
822.21/824.33 c #Conflicts: 241000 | #Constraints: 31251
822.21/824.33 c INPROCESSING
822.21/824.33 c GARBAGE COLLECT
822.21/824.33 c #Conflicts: 242000 | #Constraints: 22304
822.21/824.33 c #Conflicts: 243000 | #Constraints: 23304
822.21/824.33 c #Conflicts: 244000 | #Constraints: 24304
822.21/824.33 c #Conflicts: 245000 | #Constraints: 25304
822.21/824.33 c #Conflicts: 246000 | #Constraints: 26304
822.21/824.33 c #Conflicts: 247000 | #Constraints: 27304
822.21/824.33 c #Conflicts: 248000 | #Constraints: 28304
822.21/824.33 c #Conflicts: 249000 | #Constraints: 29304
822.21/824.33 c #Conflicts: 250000 | #Constraints: 30304
822.21/824.33 c #Conflicts: 251000 | #Constraints: 31304
822.21/824.33 c INPROCESSING
822.21/824.33 c GARBAGE COLLECT
822.21/824.33 c #Conflicts: 252000 | #Constraints: 22078
822.21/824.33 c #Conflicts: 253000 | #Constraints: 23078
822.21/824.33 c #Conflicts: 254000 | #Constraints: 24078
822.21/824.33 c #Conflicts: 255000 | #Constraints: 25078
822.21/824.33 c #Conflicts: 256000 | #Constraints: 26078
822.21/824.33 c #Conflicts: 257000 | #Constraints: 27078
822.21/824.33 c #Conflicts: 258000 | #Constraints: 28078
822.21/824.33 c #Conflicts: 259000 | #Constraints: 29078
822.21/824.33 c #Conflicts: 260000 | #Constraints: 30078
822.21/824.33 c #Conflicts: 261000 | #Constraints: 31078
822.21/824.33 c #Conflicts: 262000 | #Constraints: 32078
822.21/824.33 c INPROCESSING
822.21/824.33 c GARBAGE COLLECT
822.21/824.33 c #Conflicts: 263000 | #Constraints: 22696
822.21/824.33 c #Conflicts: 264000 | #Constraints: 23696
822.21/824.33 c #Conflicts: 265000 | #Constraints: 24696
822.21/824.33 c #Conflicts: 266000 | #Constraints: 25696
822.21/824.33 c #Conflicts: 267000 | #Constraints: 26696
822.21/824.33 c #Conflicts: 268000 | #Constraints: 27696
822.21/824.33 c #Conflicts: 269000 | #Constraints: 28696
822.21/824.33 c #Conflicts: 270000 | #Constraints: 29696
822.21/824.33 c #Conflicts: 271000 | #Constraints: 30696
822.21/824.33 c #Conflicts: 272000 | #Constraints: 31696
822.21/824.33 c #Conflicts: 273000 | #Constraints: 32696
822.21/824.33 c INPROCESSING
822.21/824.33 c GARBAGE COLLECT
822.21/824.33 c #Conflicts: 274000 | #Constraints: 23113
822.21/824.33 c #Conflicts: 275000 | #Constraints: 24113
822.21/824.33 c #Conflicts: 276000 | #Constraints: 25113
822.21/824.33 c #Conflicts: 277000 | #Constraints: 26113
822.21/824.33 c #Conflicts: 278000 | #Constraints: 27113
822.21/824.33 c #Conflicts: 279000 | #Constraints: 28113
822.21/824.33 c #Conflicts: 280000 | #Constraints: 29113
822.21/824.33 c #Conflicts: 281000 | #Constraints: 30113
822.21/824.33 c #Conflicts: 282000 | #Constraints: 31113
822.21/824.33 c #Conflicts: 283000 | #Constraints: 32113
822.21/824.33 c #Conflicts: 284000 | #Constraints: 33113
822.21/824.33 c INPROCESSING
822.21/824.33 c GARBAGE COLLECT
822.21/824.33 c #Conflicts: 285000 | #Constraints: 23316
822.21/824.33 c #Conflicts: 286000 | #Constraints: 24316
822.21/824.33 c #Conflicts: 287000 | #Constraints: 25316
822.21/824.33 c #Conflicts: 288000 | #Constraints: 26316
822.21/824.33 c #Conflicts: 289000 | #Constraints: 27316
822.21/824.33 c #Conflicts: 290000 | #Constraints: 28316
822.21/824.33 c #Conflicts: 291000 | #Constraints: 29316
1136.62/1139.51 c #Conflicts: 292000 | #Constraints: 30316
1136.62/1139.51 c #Conflicts: 293000 | #Constraints: 31316
1136.62/1139.51 c #Conflicts: 294000 | #Constraints: 32316
1136.62/1139.51 c #Conflicts: 295000 | #Constraints: 33316
1136.62/1139.51 c INPROCESSING
1136.62/1139.51 c GARBAGE COLLECT
1136.62/1139.51 c #Conflicts: 296000 | #Constraints: 23328
1136.62/1139.51 c #Conflicts: 297000 | #Constraints: 24328
1136.62/1139.51 c #Conflicts: 298000 | #Constraints: 25328
1136.62/1139.51 c #Conflicts: 299000 | #Constraints: 26328
1136.62/1139.51 c #Conflicts: 300000 | #Constraints: 27328
1136.62/1139.51 c #Conflicts: 301000 | #Constraints: 28328
1136.62/1139.51 c #Conflicts: 302000 | #Constraints: 29328
1136.62/1139.51 c #Conflicts: 303000 | #Constraints: 30328
1136.62/1139.51 c #Conflicts: 304000 | #Constraints: 31328
1136.62/1139.51 c #Conflicts: 305000 | #Constraints: 32328
1136.62/1139.51 c #Conflicts: 306000 | #Constraints: 33328
1136.62/1139.51 c INPROCESSING
1136.62/1139.51 c GARBAGE COLLECT
1136.62/1139.51 c #Conflicts: 307000 | #Constraints: 23081
1136.62/1139.51 c #Conflicts: 308000 | #Constraints: 24081
1136.62/1139.51 c #Conflicts: 309000 | #Constraints: 25081
1136.62/1139.51 c #Conflicts: 310000 | #Constraints: 26081
1136.62/1139.51 c #Conflicts: 311000 | #Constraints: 27081
1136.62/1139.51 c #Conflicts: 312000 | #Constraints: 28081
1136.62/1139.51 c #Conflicts: 313000 | #Constraints: 29081
1136.62/1139.51 c #Conflicts: 314000 | #Constraints: 30081
1136.62/1139.51 c #Conflicts: 315000 | #Constraints: 31081
1136.62/1139.51 c #Conflicts: 316000 | #Constraints: 32081
1136.62/1139.51 c #Conflicts: 317000 | #Constraints: 33081
1136.62/1139.51 c #Conflicts: 318000 | #Constraints: 34081
1136.62/1139.51 c INPROCESSING
1136.62/1139.51 c GARBAGE COLLECT
1136.62/1139.51 c #Conflicts: 319000 | #Constraints: 23659
1136.62/1139.51 c #Conflicts: 320000 | #Constraints: 24659
1136.62/1139.51 c #Conflicts: 321000 | #Constraints: 25659
1136.62/1139.51 c #Conflicts: 322000 | #Constraints: 26659
1136.62/1139.51 c #Conflicts: 323000 | #Constraints: 27659
1136.62/1139.51 c #Conflicts: 324000 | #Constraints: 28659
1136.62/1139.51 c #Conflicts: 325000 | #Constraints: 29659
1136.62/1139.51 c #Conflicts: 326000 | #Constraints: 30659
1136.62/1139.51 c #Conflicts: 327000 | #Constraints: 31659
1136.62/1139.51 c #Conflicts: 328000 | #Constraints: 32659
1136.62/1139.51 c #Conflicts: 329000 | #Constraints: 33659
1136.62/1139.51 c #Conflicts: 330000 | #Constraints: 34659
1136.62/1139.51 c INPROCESSING
1136.62/1139.51 c GARBAGE COLLECT
1136.62/1139.51 c #Conflicts: 331000 | #Constraints: 24123
1136.62/1139.51 c #Conflicts: 332000 | #Constraints: 25123
1136.62/1139.51 c #Conflicts: 333000 | #Constraints: 26123
1136.62/1139.51 c #Conflicts: 334000 | #Constraints: 27123
1136.62/1139.51 c #Conflicts: 335000 | #Constraints: 28123
1136.62/1139.51 c #Conflicts: 336000 | #Constraints: 29123
1136.62/1139.51 c #Conflicts: 337000 | #Constraints: 30123
1136.62/1139.51 c #Conflicts: 338000 | #Constraints: 31123
1136.62/1139.51 c #Conflicts: 339000 | #Constraints: 32123
1136.62/1139.51 c #Conflicts: 340000 | #Constraints: 33123
1136.62/1139.51 c #Conflicts: 341000 | #Constraints: 34123
1136.62/1139.51 c #Conflicts: 342000 | #Constraints: 35123
1136.62/1139.51 c INPROCESSING
1136.62/1139.51 c GARBAGE COLLECT
1136.62/1139.51 c #Conflicts: 343000 | #Constraints: 24321
1136.62/1139.51 c #Conflicts: 344000 | #Constraints: 25321
1136.62/1139.51 c #Conflicts: 345000 | #Constraints: 26321
1136.62/1139.51 c #Conflicts: 346000 | #Constraints: 27321
1136.62/1139.51 c #Conflicts: 347000 | #Constraints: 28321
1136.62/1139.51 c #Conflicts: 348000 | #Constraints: 29321
1136.62/1139.51 c #Conflicts: 349000 | #Constraints: 30321
1136.62/1139.51 c #Conflicts: 350000 | #Constraints: 31321
1136.62/1139.51 c #Conflicts: 351000 | #Constraints: 32321
1136.62/1139.51 c #Conflicts: 352000 | #Constraints: 33321
1136.62/1139.51 c #Conflicts: 353000 | #Constraints: 34321
1136.62/1139.51 c #Conflicts: 354000 | #Constraints: 35321
1136.62/1139.51 c INPROCESSING
1136.62/1139.51 c GARBAGE COLLECT
1136.62/1139.51 c #Conflicts: 355000 | #Constraints: 24329
1136.62/1139.51 c #Conflicts: 356000 | #Constraints: 25329
1136.62/1139.51 c #Conflicts: 357000 | #Constraints: 26329
1136.62/1139.51 c #Conflicts: 358000 | #Constraints: 27329
1136.62/1139.51 c #Conflicts: 359000 | #Constraints: 28329
1136.62/1139.51 c #Conflicts: 360000 | #Constraints: 29329
1136.62/1139.51 c #Conflicts: 361000 | #Constraints: 30329
1136.62/1139.51 c #Conflicts: 362000 | #Constraints: 31329
1136.62/1139.51 c #Conflicts: 363000 | #Constraints: 32329
1136.62/1139.51 c #Conflicts: 364000 | #Constraints: 33329
1136.62/1139.51 c #Conflicts: 365000 | #Constraints: 34329
1399.06/1402.61 c #Conflicts: 366000 | #Constraints: 35329
1399.06/1402.61 c INPROCESSING
1399.06/1402.61 c GARBAGE COLLECT
1399.06/1402.61 c #Conflicts: 367000 | #Constraints: 24130
1399.06/1402.61 c #Conflicts: 368000 | #Constraints: 25130
1399.06/1402.61 c #Conflicts: 369000 | #Constraints: 26130
1399.06/1402.61 c #Conflicts: 370000 | #Constraints: 27130
1399.06/1402.61 c #Conflicts: 371000 | #Constraints: 28130
1399.06/1402.61 c #Conflicts: 372000 | #Constraints: 29130
1399.06/1402.61 c #Conflicts: 373000 | #Constraints: 30130
1399.06/1402.61 c #Conflicts: 374000 | #Constraints: 31130
1399.06/1402.61 c #Conflicts: 375000 | #Constraints: 32130
1399.06/1402.61 c #Conflicts: 376000 | #Constraints: 33130
1399.06/1402.61 c #Conflicts: 377000 | #Constraints: 34130
1399.06/1402.61 c #Conflicts: 378000 | #Constraints: 35130
1399.06/1402.61 c #Conflicts: 379000 | #Constraints: 36130
1399.06/1402.61 c INPROCESSING
1399.06/1402.61 c GARBAGE COLLECT
1399.06/1402.61 c #Conflicts: 380000 | #Constraints: 24754
1399.06/1402.61 c #Conflicts: 381000 | #Constraints: 25754
1399.06/1402.61 c #Conflicts: 382000 | #Constraints: 26754
1399.06/1402.61 c #Conflicts: 383000 | #Constraints: 27754
1399.06/1402.61 c #Conflicts: 384000 | #Constraints: 28754
1399.06/1402.61 c #Conflicts: 385000 | #Constraints: 29754
1399.06/1402.61 c #Conflicts: 386000 | #Constraints: 30754
1399.06/1402.61 c #Conflicts: 387000 | #Constraints: 31754
1399.06/1402.61 c #Conflicts: 388000 | #Constraints: 32754
1399.06/1402.61 c #Conflicts: 389000 | #Constraints: 33754
1399.06/1402.61 c #Conflicts: 390000 | #Constraints: 34754
1399.06/1402.61 c #Conflicts: 391000 | #Constraints: 35754
1399.06/1402.61 c #Conflicts: 392000 | #Constraints: 36754
1399.06/1402.61 c INPROCESSING
1399.06/1402.61 c GARBAGE COLLECT
1399.06/1402.61 c #Conflicts: 393000 | #Constraints: 25141
1399.06/1402.61 c #Conflicts: 394000 | #Constraints: 26141
1399.06/1402.61 c #Conflicts: 395000 | #Constraints: 27141
1399.06/1402.61 c #Conflicts: 396000 | #Constraints: 28141
1399.06/1402.61 c #Conflicts: 397000 | #Constraints: 29141
1399.06/1402.61 c #Conflicts: 398000 | #Constraints: 30141
1399.06/1402.61 c #Conflicts: 399000 | #Constraints: 31141
1399.06/1402.61 c #Conflicts: 400000 | #Constraints: 32141
1399.06/1402.61 c #Conflicts: 401000 | #Constraints: 33141
1399.06/1402.61 c #Conflicts: 402000 | #Constraints: 34141
1399.06/1402.61 c #Conflicts: 403000 | #Constraints: 35141
1399.06/1402.61 c #Conflicts: 404000 | #Constraints: 36141
1399.06/1402.61 c #Conflicts: 405000 | #Constraints: 37141
1399.06/1402.61 c INPROCESSING
1399.06/1402.61 c GARBAGE COLLECT
1399.06/1402.61 c #Conflicts: 406000 | #Constraints: 25308
1399.06/1402.61 c #Conflicts: 407000 | #Constraints: 26308
1399.06/1402.61 c #Conflicts: 408000 | #Constraints: 27308
1399.06/1402.61 c #Conflicts: 409000 | #Constraints: 28308
1399.06/1402.61 c #Conflicts: 410000 | #Constraints: 29308
1399.06/1402.61 c #Conflicts: 411000 | #Constraints: 30308
1399.06/1402.61 c #Conflicts: 412000 | #Constraints: 31308
1399.06/1402.61 c #Conflicts: 413000 | #Constraints: 32308
1399.06/1402.61 c #Conflicts: 414000 | #Constraints: 33308
1399.06/1402.61 c #Conflicts: 415000 | #Constraints: 34308
1399.06/1402.61 c #Conflicts: 416000 | #Constraints: 35308
1399.06/1402.61 c #Conflicts: 417000 | #Constraints: 36308
1399.06/1402.61 c #Conflicts: 418000 | #Constraints: 37308
1399.06/1402.61 c INPROCESSING
1399.06/1402.61 c GARBAGE COLLECT
1399.06/1402.61 c #Conflicts: 419000 | #Constraints: 25313
1399.06/1402.61 c #Conflicts: 420000 | #Constraints: 26313
1399.06/1402.61 c #Conflicts: 421000 | #Constraints: 27313
1399.06/1402.61 c #Conflicts: 422000 | #Constraints: 28313
1399.06/1402.61 c #Conflicts: 423000 | #Constraints: 29313
1399.06/1402.61 c #Conflicts: 424000 | #Constraints: 30313
1399.06/1402.61 c #Conflicts: 425000 | #Constraints: 31313
1399.06/1402.61 c #Conflicts: 426000 | #Constraints: 32313
1399.06/1402.61 c #Conflicts: 427000 | #Constraints: 33313
1399.06/1402.61 c #Conflicts: 428000 | #Constraints: 34313
1399.06/1402.61 c #Conflicts: 429000 | #Constraints: 35313
1399.06/1402.61 c #Conflicts: 430000 | #Constraints: 36313
1399.06/1402.61 c #Conflicts: 431000 | #Constraints: 37313
1399.06/1402.61 c INPROCESSING
1399.06/1402.61 c GARBAGE COLLECT
1399.06/1402.61 c #Conflicts: 432000 | #Constraints: 25124
1399.06/1402.61 c #Conflicts: 433000 | #Constraints: 26124
1399.06/1402.61 c #Conflicts: 434000 | #Constraints: 27124
1399.06/1402.61 c #Conflicts: 435000 | #Constraints: 28124
1399.06/1402.61 c #Conflicts: 436000 | #Constraints: 29124
1399.06/1402.61 c #Conflicts: 437000 | #Constraints: 30124
1399.06/1402.61 c #Conflicts: 438000 | #Constraints: 31124
1399.06/1402.61 c #Conflicts: 439000 | #Constraints: 32124
1399.06/1402.61 c #Conflicts: 440000 | #Constraints: 33124
1671.30/1675.57 c #Conflicts: 441000 | #Constraints: 34124
1671.30/1675.57 c #Conflicts: 442000 | #Constraints: 35124
1671.30/1675.57 c #Conflicts: 443000 | #Constraints: 36124
1671.30/1675.57 c #Conflicts: 444000 | #Constraints: 37124
1671.30/1675.57 c #Conflicts: 445000 | #Constraints: 38124
1671.30/1675.57 c INPROCESSING
1671.30/1675.57 c GARBAGE COLLECT
1671.30/1675.57 c #Conflicts: 446000 | #Constraints: 25736
1671.30/1675.57 c #Conflicts: 447000 | #Constraints: 26736
1671.30/1675.57 c #Conflicts: 448000 | #Constraints: 27736
1671.30/1675.57 c #Conflicts: 449000 | #Constraints: 28736
1671.30/1675.57 c #Conflicts: 450000 | #Constraints: 29736
1671.30/1675.57 c #Conflicts: 451000 | #Constraints: 30736
1671.30/1675.57 c #Conflicts: 452000 | #Constraints: 31736
1671.30/1675.57 c #Conflicts: 453000 | #Constraints: 32736
1671.30/1675.57 c #Conflicts: 454000 | #Constraints: 33736
1671.30/1675.57 c #Conflicts: 455000 | #Constraints: 34736
1671.30/1675.57 c #Conflicts: 456000 | #Constraints: 35736
1671.30/1675.57 c #Conflicts: 457000 | #Constraints: 36736
1671.30/1675.57 c #Conflicts: 458000 | #Constraints: 37736
1671.30/1675.57 c #Conflicts: 459000 | #Constraints: 38736
1671.30/1675.57 c INPROCESSING
1671.30/1675.57 c GARBAGE COLLECT
1671.30/1675.57 c #Conflicts: 460000 | #Constraints: 26148
1671.30/1675.57 c #Conflicts: 461000 | #Constraints: 27148
1671.30/1675.57 c #Conflicts: 462000 | #Constraints: 28148
1671.30/1675.57 c #Conflicts: 463000 | #Constraints: 29148
1671.30/1675.57 c #Conflicts: 464000 | #Constraints: 30148
1671.30/1675.57 c #Conflicts: 465000 | #Constraints: 31148
1671.30/1675.57 c #Conflicts: 466000 | #Constraints: 32148
1671.30/1675.57 c #Conflicts: 467000 | #Constraints: 33148
1671.30/1675.57 c #Conflicts: 468000 | #Constraints: 34148
1671.30/1675.57 c #Conflicts: 469000 | #Constraints: 35148
1671.30/1675.57 c #Conflicts: 470000 | #Constraints: 36148
1671.30/1675.57 c #Conflicts: 471000 | #Constraints: 37148
1671.30/1675.57 c #Conflicts: 472000 | #Constraints: 38148
1671.30/1675.57 c #Conflicts: 473000 | #Constraints: 39148
1671.30/1675.57 c INPROCESSING
1671.30/1675.57 c GARBAGE COLLECT
1671.30/1675.57 c #Conflicts: 474000 | #Constraints: 26334
1671.30/1675.57 c #Conflicts: 475000 | #Constraints: 27334
1671.30/1675.57 c #Conflicts: 476000 | #Constraints: 28334
1671.30/1675.57 c #Conflicts: 477000 | #Constraints: 29334
1671.30/1675.57 c #Conflicts: 478000 | #Constraints: 30334
1671.30/1675.57 c #Conflicts: 479000 | #Constraints: 31334
1671.30/1675.57 c #Conflicts: 480000 | #Constraints: 32334
1671.30/1675.57 c #Conflicts: 481000 | #Constraints: 33334
1671.30/1675.57 c #Conflicts: 482000 | #Constraints: 34334
1671.30/1675.57 c #Conflicts: 483000 | #Constraints: 35334
1671.30/1675.57 c #Conflicts: 484000 | #Constraints: 36334
1671.30/1675.57 c #Conflicts: 485000 | #Constraints: 37334
1671.30/1675.57 c #Conflicts: 486000 | #Constraints: 38334
1671.30/1675.57 c #Conflicts: 487000 | #Constraints: 39334
1671.30/1675.57 c INPROCESSING
1671.30/1675.57 c GARBAGE COLLECT
1671.30/1675.57 c #Conflicts: 488000 | #Constraints: 26362
1671.30/1675.57 c #Conflicts: 489000 | #Constraints: 27362
1671.30/1675.57 c #Conflicts: 490000 | #Constraints: 28362
1671.30/1675.57 c #Conflicts: 491000 | #Constraints: 29362
1671.30/1675.57 c #Conflicts: 492000 | #Constraints: 30362
1671.30/1675.57 c #Conflicts: 493000 | #Constraints: 31362
1671.30/1675.57 c #Conflicts: 494000 | #Constraints: 32362
1671.30/1675.57 c #Conflicts: 495000 | #Constraints: 33362
1671.30/1675.57 c #Conflicts: 496000 | #Constraints: 34362
1671.30/1675.57 c #Conflicts: 497000 | #Constraints: 35362
1671.30/1675.57 c #Conflicts: 498000 | #Constraints: 36362
1671.30/1675.57 c #Conflicts: 499000 | #Constraints: 37362
1671.30/1675.57 c #Conflicts: 500000 | #Constraints: 38362
1671.30/1675.57 c #Conflicts: 501000 | #Constraints: 39362
1671.30/1675.57 c INPROCESSING
1671.30/1675.57 c GARBAGE COLLECT
1671.30/1675.57 c #Conflicts: 502000 | #Constraints: 26130
1671.30/1675.57 c #Conflicts: 503000 | #Constraints: 27130
1671.30/1675.57 c #Conflicts: 504000 | #Constraints: 28130
1671.30/1675.57 c #Conflicts: 505000 | #Constraints: 29130
1671.30/1675.57 c #Conflicts: 506000 | #Constraints: 30130
1671.30/1675.57 c #Conflicts: 507000 | #Constraints: 31130
1671.30/1675.57 c #Conflicts: 508000 | #Constraints: 32130
1671.30/1675.57 c #Conflicts: 509000 | #Constraints: 33130
1671.30/1675.57 c #Conflicts: 510000 | #Constraints: 34130
1671.30/1675.57 c #Conflicts: 511000 | #Constraints: 35130
1671.30/1675.57 c #Conflicts: 512000 | #Constraints: 36130
1671.30/1675.57 c #Conflicts: 513000 | #Constraints: 37130
1671.30/1675.57 c #Conflicts: 514000 | #Constraints: 38130
1671.30/1675.57 c #Conflicts: 515000 | #Constraints: 39130
1671.30/1675.57 c #Conflicts: 516000 | #Constraints: 40130
1950.56/1955.58 c INPROCESSING
1950.56/1955.58 c GARBAGE COLLECT
1950.56/1955.58 c #Conflicts: 517000 | #Constraints: 26713
1950.56/1955.58 c #Conflicts: 518000 | #Constraints: 27713
1950.56/1955.58 c #Conflicts: 519000 | #Constraints: 28713
1950.56/1955.58 c #Conflicts: 520000 | #Constraints: 29713
1950.56/1955.58 c #Conflicts: 521000 | #Constraints: 30713
1950.56/1955.58 c #Conflicts: 522000 | #Constraints: 31713
1950.56/1955.58 c #Conflicts: 523000 | #Constraints: 32713
1950.56/1955.58 c #Conflicts: 524000 | #Constraints: 33713
1950.56/1955.58 c #Conflicts: 525000 | #Constraints: 34713
1950.56/1955.58 c #Conflicts: 526000 | #Constraints: 35713
1950.56/1955.58 c #Conflicts: 527000 | #Constraints: 36713
1950.56/1955.58 c #Conflicts: 528000 | #Constraints: 37713
1950.56/1955.58 c #Conflicts: 529000 | #Constraints: 38713
1950.56/1955.58 c #Conflicts: 530000 | #Constraints: 39713
1950.56/1955.58 c #Conflicts: 531000 | #Constraints: 40713
1950.56/1955.58 c INPROCESSING
1950.56/1955.58 c GARBAGE COLLECT
1950.56/1955.58 c #Conflicts: 532000 | #Constraints: 27139
1950.56/1955.58 c #Conflicts: 533000 | #Constraints: 28139
1950.56/1955.58 c #Conflicts: 534000 | #Constraints: 29139
1950.56/1955.58 c #Conflicts: 535000 | #Constraints: 30139
1950.56/1955.58 c #Conflicts: 536000 | #Constraints: 31139
1950.56/1955.58 c #Conflicts: 537000 | #Constraints: 32139
1950.56/1955.58 c #Conflicts: 538000 | #Constraints: 33139
1950.56/1955.58 c #Conflicts: 539000 | #Constraints: 34139
1950.56/1955.58 c #Conflicts: 540000 | #Constraints: 35139
1950.56/1955.58 c #Conflicts: 541000 | #Constraints: 36139
1950.56/1955.58 c #Conflicts: 542000 | #Constraints: 37139
1950.56/1955.58 c #Conflicts: 543000 | #Constraints: 38139
1950.56/1955.58 c #Conflicts: 544000 | #Constraints: 39139
1950.56/1955.58 c #Conflicts: 545000 | #Constraints: 40139
1950.56/1955.58 c #Conflicts: 546000 | #Constraints: 41139
1950.56/1955.58 c INPROCESSING
1950.56/1955.58 c GARBAGE COLLECT
1950.56/1955.58 c #Conflicts: 547000 | #Constraints: 27347
1950.56/1955.58 c #Conflicts: 548000 | #Constraints: 28347
1950.56/1955.58 c #Conflicts: 549000 | #Constraints: 29347
1950.56/1955.58 c #Conflicts: 550000 | #Constraints: 30347
1950.56/1955.58 c #Conflicts: 551000 | #Constraints: 31347
1950.56/1955.58 c #Conflicts: 552000 | #Constraints: 32347
1950.56/1955.58 c #Conflicts: 553000 | #Constraints: 33347
1950.56/1955.58 c #Conflicts: 554000 | #Constraints: 34347
1950.56/1955.58 c #Conflicts: 555000 | #Constraints: 35347
1950.56/1955.58 c #Conflicts: 556000 | #Constraints: 36347
1950.56/1955.58 c #Conflicts: 557000 | #Constraints: 37347
1950.56/1955.58 c #Conflicts: 558000 | #Constraints: 38347
1950.56/1955.58 c #Conflicts: 559000 | #Constraints: 39347
1950.56/1955.58 c #Conflicts: 560000 | #Constraints: 40347
1950.56/1955.58 c #Conflicts: 561000 | #Constraints: 41347
1950.56/1955.58 c INPROCESSING
1950.56/1955.58 c GARBAGE COLLECT
1950.56/1955.58 c #Conflicts: 562000 | #Constraints: 27380
1950.56/1955.58 c #Conflicts: 563000 | #Constraints: 28380
1950.56/1955.58 c #Conflicts: 564000 | #Constraints: 29380
1950.56/1955.58 c #Conflicts: 565000 | #Constraints: 30380
1950.56/1955.58 c #Conflicts: 566000 | #Constraints: 31380
1950.56/1955.58 c #Conflicts: 567000 | #Constraints: 32380
1950.56/1955.58 c #Conflicts: 568000 | #Constraints: 33380
1950.56/1955.58 c #Conflicts: 569000 | #Constraints: 34380
1950.56/1955.58 c #Conflicts: 570000 | #Constraints: 35380
1950.56/1955.58 c #Conflicts: 571000 | #Constraints: 36380
1950.56/1955.58 c #Conflicts: 572000 | #Constraints: 37380
1950.56/1955.58 c #Conflicts: 573000 | #Constraints: 38380
1950.56/1955.58 c #Conflicts: 574000 | #Constraints: 39380
1950.56/1955.58 c #Conflicts: 575000 | #Constraints: 40380
1950.56/1955.58 c #Conflicts: 576000 | #Constraints: 41380
1950.56/1955.58 c INPROCESSING
1950.56/1955.58 c GARBAGE COLLECT
1950.56/1955.58 c #Conflicts: 577000 | #Constraints: 27179
1950.56/1955.58 c #Conflicts: 578000 | #Constraints: 28179
1950.56/1955.58 c #Conflicts: 579000 | #Constraints: 29179
1950.56/1955.58 c #Conflicts: 580000 | #Constraints: 30179
1950.56/1955.58 c #Conflicts: 581000 | #Constraints: 31179
1950.56/1955.58 c #Conflicts: 582000 | #Constraints: 32179
1950.56/1955.58 c #Conflicts: 583000 | #Constraints: 33179
1950.56/1955.58 c #Conflicts: 584000 | #Constraints: 34179
1950.56/1955.58 c #Conflicts: 585000 | #Constraints: 35179
1950.56/1955.58 c #Conflicts: 586000 | #Constraints: 36179
1950.56/1955.58 c #Conflicts: 587000 | #Constraints: 37179
1950.56/1955.58 c #Conflicts: 588000 | #Constraints: 38179
1950.56/1955.58 c #Conflicts: 589000 | #Constraints: 39179
1950.56/1955.58 c #Conflicts: 590000 | #Constraints: 40179
1950.56/1955.58 c #Conflicts: 591000 | #Constraints: 41179
1950.56/1955.58 c #Conflicts: 592000 | #Constraints: 42179
2165.47/2171.05 c INPROCESSING
2165.47/2171.05 c GARBAGE COLLECT
2165.47/2171.05 c #Conflicts: 593000 | #Constraints: 27735
2165.47/2171.05 c #Conflicts: 594000 | #Constraints: 28735
2165.47/2171.05 c #Conflicts: 595000 | #Constraints: 29735
2165.47/2171.05 c #Conflicts: 596000 | #Constraints: 30735
2165.47/2171.05 c #Conflicts: 597000 | #Constraints: 31735
2165.47/2171.05 c #Conflicts: 598000 | #Constraints: 32735
2165.47/2171.05 c #Conflicts: 599000 | #Constraints: 33735
2165.47/2171.05 c #Conflicts: 600000 | #Constraints: 34735
2165.47/2171.05 c #Conflicts: 601000 | #Constraints: 35735
2165.47/2171.05 c #Conflicts: 602000 | #Constraints: 36735
2165.47/2171.05 c #Conflicts: 603000 | #Constraints: 37735
2165.47/2171.05 c #Conflicts: 604000 | #Constraints: 38735
2165.47/2171.05 c #Conflicts: 605000 | #Constraints: 39735
2165.47/2171.05 c #Conflicts: 606000 | #Constraints: 40735
2165.47/2171.05 c #Conflicts: 607000 | #Constraints: 41735
2165.47/2171.05 c #Conflicts: 608000 | #Constraints: 42735
2165.47/2171.05 c INPROCESSING
2165.47/2171.05 c GARBAGE COLLECT
2165.47/2171.05 c #Conflicts: 609000 | #Constraints: 28142
2165.47/2171.05 c #Conflicts: 610000 | #Constraints: 29142
2165.47/2171.05 c #Conflicts: 611000 | #Constraints: 30142
2165.47/2171.05 c #Conflicts: 612000 | #Constraints: 31142
2165.47/2171.05 c #Conflicts: 613000 | #Constraints: 32142
2165.47/2171.05 c #Conflicts: 614000 | #Constraints: 33142
2165.47/2171.05 c #Conflicts: 615000 | #Constraints: 34142
2165.47/2171.05 c #Conflicts: 616000 | #Constraints: 35142
2165.47/2171.05 c #Conflicts: 617000 | #Constraints: 36142
2165.47/2171.05 c #Conflicts: 618000 | #Constraints: 37142
2165.47/2171.05 c #Conflicts: 619000 | #Constraints: 38142
2165.47/2171.05 c #Conflicts: 620000 | #Constraints: 39142
2165.47/2171.05 c #Conflicts: 621000 | #Constraints: 40142
2165.47/2171.05 c #Conflicts: 622000 | #Constraints: 41142
2165.47/2171.05 c #Conflicts: 623000 | #Constraints: 42142
2165.47/2171.05 c #Conflicts: 624000 | #Constraints: 43142
2165.47/2171.05 c INPROCESSING
2165.47/2171.05 c GARBAGE COLLECT
2165.47/2171.05 c #Conflicts: 625000 | #Constraints: 28348
2165.47/2171.05 c #Conflicts: 626000 | #Constraints: 29348
2165.47/2171.05 c #Conflicts: 627000 | #Constraints: 30348
2165.47/2171.05 c #Conflicts: 628000 | #Constraints: 31348
2165.47/2171.05 c #Conflicts: 629000 | #Constraints: 32348
2165.47/2171.05 c #Conflicts: 630000 | #Constraints: 33348
2165.47/2171.05 c #Conflicts: 631000 | #Constraints: 34348
2165.47/2171.05 c #Conflicts: 632000 | #Constraints: 35348
2165.47/2171.05 c #Conflicts: 633000 | #Constraints: 36348
2165.47/2171.05 c #Conflicts: 634000 | #Constraints: 37348
2165.47/2171.05 c #Conflicts: 635000 | #Constraints: 38348
2165.47/2171.05 c #Conflicts: 636000 | #Constraints: 39348
2165.47/2171.05 c #Conflicts: 637000 | #Constraints: 40348
2165.47/2171.05 c #Conflicts: 638000 | #Constraints: 41348
2165.47/2171.05 c #Conflicts: 639000 | #Constraints: 42348
2165.47/2171.05 c #Conflicts: 640000 | #Constraints: 43348
2165.47/2171.05 c INPROCESSING
2165.47/2171.05 c GARBAGE COLLECT
2165.47/2171.05 c #Conflicts: 641000 | #Constraints: 28327
2165.47/2171.05 c #Conflicts: 642000 | #Constraints: 29327
2165.47/2171.05 c #Conflicts: 643000 | #Constraints: 30327
2165.47/2171.05 c #Conflicts: 644000 | #Constraints: 31327
2165.47/2171.05 c #Conflicts: 645000 | #Constraints: 32327
2165.47/2171.05 c #Conflicts: 646000 | #Constraints: 33327
2165.47/2171.05 c #Conflicts: 647000 | #Constraints: 34327
2165.47/2171.05 c #Conflicts: 648000 | #Constraints: 35327
2165.47/2171.05 c #Conflicts: 649000 | #Constraints: 36327
2165.47/2171.05 c #Conflicts: 650000 | #Constraints: 37327
2165.47/2171.05 c #Conflicts: 651000 | #Constraints: 38327
2165.47/2171.05 c #Conflicts: 652000 | #Constraints: 39327
2165.47/2171.05 c #Conflicts: 653000 | #Constraints: 40327
2165.47/2171.05 c #Conflicts: 654000 | #Constraints: 41327
2165.47/2171.05 c #Conflicts: 655000 | #Constraints: 42327
2165.47/2171.05 c #Conflicts: 656000 | #Constraints: 43327
2165.47/2171.05 c INPROCESSING
2165.47/2171.05 c GARBAGE COLLECT
2165.47/2171.05 c #Conflicts: 657000 | #Constraints: 28146
2165.47/2171.05 c #Conflicts: 658000 | #Constraints: 29146
2165.47/2171.05 c #Conflicts: 659000 | #Constraints: 30146
2165.47/2171.05 c #Conflicts: 660000 | #Constraints: 31146
2165.47/2171.05 c #Conflicts: 661000 | #Constraints: 32146
2165.47/2171.05 c #Conflicts: 662000 | #Constraints: 33146
2165.47/2171.05 c #Conflicts: 663000 | #Constraints: 34146
2165.47/2171.05 c #Conflicts: 664000 | #Constraints: 35146
2165.47/2171.05 c #Conflicts: 665000 | #Constraints: 36146
2165.47/2171.05 c #Conflicts: 666000 | #Constraints: 37146
2165.47/2171.05 c #Conflicts: 667000 | #Constraints: 38146
2410.98/2417.24 c #Conflicts: 668000 | #Constraints: 39146
2410.98/2417.24 c #Conflicts: 669000 | #Constraints: 40146
2410.98/2417.24 c #Conflicts: 670000 | #Constraints: 41146
2410.98/2417.24 c #Conflicts: 671000 | #Constraints: 42146
2410.98/2417.24 c #Conflicts: 672000 | #Constraints: 43146
2410.98/2417.24 c #Conflicts: 673000 | #Constraints: 44146
2410.98/2417.24 c INPROCESSING
2410.98/2417.24 c GARBAGE COLLECT
2410.98/2417.24 c #Conflicts: 674000 | #Constraints: 28749
2410.98/2417.24 c #Conflicts: 675000 | #Constraints: 29749
2410.98/2417.24 c #Conflicts: 676000 | #Constraints: 30749
2410.98/2417.24 c #Conflicts: 677000 | #Constraints: 31749
2410.98/2417.24 c #Conflicts: 678000 | #Constraints: 32749
2410.98/2417.24 c #Conflicts: 679000 | #Constraints: 33749
2410.98/2417.24 c #Conflicts: 680000 | #Constraints: 34749
2410.98/2417.24 c #Conflicts: 681000 | #Constraints: 35749
2410.98/2417.24 c #Conflicts: 682000 | #Constraints: 36749
2410.98/2417.24 c #Conflicts: 683000 | #Constraints: 37749
2410.98/2417.24 c #Conflicts: 684000 | #Constraints: 38749
2410.98/2417.24 c #Conflicts: 685000 | #Constraints: 39749
2410.98/2417.24 c #Conflicts: 686000 | #Constraints: 40749
2410.98/2417.24 c #Conflicts: 687000 | #Constraints: 41749
2410.98/2417.24 c #Conflicts: 688000 | #Constraints: 42749
2410.98/2417.24 c #Conflicts: 689000 | #Constraints: 43749
2410.98/2417.24 c #Conflicts: 690000 | #Constraints: 44749
2410.98/2417.24 c INPROCESSING
2410.98/2417.24 c GARBAGE COLLECT
2410.98/2417.24 c #Conflicts: 691000 | #Constraints: 29126
2410.98/2417.24 c #Conflicts: 692000 | #Constraints: 30126
2410.98/2417.24 c #Conflicts: 693000 | #Constraints: 31126
2410.98/2417.24 c #Conflicts: 694000 | #Constraints: 32126
2410.98/2417.24 c #Conflicts: 695000 | #Constraints: 33126
2410.98/2417.24 c #Conflicts: 696000 | #Constraints: 34126
2410.98/2417.24 c #Conflicts: 697000 | #Constraints: 35126
2410.98/2417.24 c #Conflicts: 698000 | #Constraints: 36126
2410.98/2417.24 c #Conflicts: 699000 | #Constraints: 37126
2410.98/2417.24 c #Conflicts: 700000 | #Constraints: 38126
2410.98/2417.24 c #Conflicts: 701000 | #Constraints: 39126
2410.98/2417.24 c #Conflicts: 702000 | #Constraints: 40126
2410.98/2417.24 c #Conflicts: 703000 | #Constraints: 41126
2410.98/2417.24 c #Conflicts: 704000 | #Constraints: 42126
2410.98/2417.24 c #Conflicts: 705000 | #Constraints: 43126
2410.98/2417.24 c #Conflicts: 706000 | #Constraints: 44126
2410.98/2417.24 c #Conflicts: 707000 | #Constraints: 45126
2410.98/2417.24 c INPROCESSING
2410.98/2417.24 c GARBAGE COLLECT
2410.98/2417.24 c #Conflicts: 708000 | #Constraints: 29319
2410.98/2417.24 c #Conflicts: 709000 | #Constraints: 30319
2410.98/2417.24 c #Conflicts: 710000 | #Constraints: 31319
2410.98/2417.24 c #Conflicts: 711000 | #Constraints: 32319
2410.98/2417.24 c #Conflicts: 712000 | #Constraints: 33319
2410.98/2417.24 c #Conflicts: 713000 | #Constraints: 34319
2410.98/2417.24 c #Conflicts: 714000 | #Constraints: 35319
2410.98/2417.24 c #Conflicts: 715000 | #Constraints: 36319
2410.98/2417.24 c #Conflicts: 716000 | #Constraints: 37319
2410.98/2417.24 c #Conflicts: 717000 | #Constraints: 38319
2410.98/2417.24 c #Conflicts: 718000 | #Constraints: 39319
2410.98/2417.24 c #Conflicts: 719000 | #Constraints: 40319
2410.98/2417.24 c #Conflicts: 720000 | #Constraints: 41319
2410.98/2417.24 c #Conflicts: 721000 | #Constraints: 42319
2410.98/2417.24 c #Conflicts: 722000 | #Constraints: 43319
2410.98/2417.24 c #Conflicts: 723000 | #Constraints: 44319
2410.98/2417.24 c #Conflicts: 724000 | #Constraints: 45319
2410.98/2417.24 c INPROCESSING
2410.98/2417.24 c GARBAGE COLLECT
2410.98/2417.24 c #Conflicts: 725000 | #Constraints: 29303
2410.98/2417.24 c #Conflicts: 726000 | #Constraints: 30303
2410.98/2417.24 c #Conflicts: 727000 | #Constraints: 31303
2410.98/2417.24 c #Conflicts: 728000 | #Constraints: 32303
2410.98/2417.24 c #Conflicts: 729000 | #Constraints: 33303
2410.98/2417.24 c #Conflicts: 730000 | #Constraints: 34303
2410.98/2417.24 c #Conflicts: 731000 | #Constraints: 35303
2410.98/2417.24 c #Conflicts: 732000 | #Constraints: 36303
2410.98/2417.24 c #Conflicts: 733000 | #Constraints: 37303
2410.98/2417.24 c #Conflicts: 734000 | #Constraints: 38303
2410.98/2417.24 c #Conflicts: 735000 | #Constraints: 39303
2410.98/2417.24 c #Conflicts: 736000 | #Constraints: 40303
2410.98/2417.24 c #Conflicts: 737000 | #Constraints: 41303
2410.98/2417.24 c #Conflicts: 738000 | #Constraints: 42303
2410.98/2417.24 c #Conflicts: 739000 | #Constraints: 43303
2410.98/2417.24 c #Conflicts: 740000 | #Constraints: 44303
2410.98/2417.24 c #Conflicts: 741000 | #Constraints: 45303
2410.98/2417.24 c INPROCESSING
2410.98/2417.24 c GARBAGE COLLECT
2410.98/2417.24 c #Conflicts: 742000 | #Constraints: 29114
2410.98/2417.24 c #Conflicts: 743000 | #Constraints: 30114
2688.81/2695.86 c #Conflicts: 744000 | #Constraints: 31114
2688.81/2695.86 c #Conflicts: 745000 | #Constraints: 32114
2688.81/2695.86 c #Conflicts: 746000 | #Constraints: 33114
2688.81/2695.86 c #Conflicts: 747000 | #Constraints: 34114
2688.81/2695.86 c #Conflicts: 748000 | #Constraints: 35114
2688.81/2695.86 c #Conflicts: 749000 | #Constraints: 36114
2688.81/2695.86 c #Conflicts: 750000 | #Constraints: 37114
2688.81/2695.86 c #Conflicts: 751000 | #Constraints: 38114
2688.81/2695.86 c #Conflicts: 752000 | #Constraints: 39114
2688.81/2695.86 c #Conflicts: 753000 | #Constraints: 40114
2688.81/2695.86 c #Conflicts: 754000 | #Constraints: 41114
2688.81/2695.86 c #Conflicts: 755000 | #Constraints: 42114
2688.81/2695.86 c #Conflicts: 756000 | #Constraints: 43114
2688.81/2695.86 c #Conflicts: 757000 | #Constraints: 44114
2688.81/2695.86 c #Conflicts: 758000 | #Constraints: 45114
2688.81/2695.86 c #Conflicts: 759000 | #Constraints: 46114
2688.81/2695.86 c INPROCESSING
2688.81/2695.86 c GARBAGE COLLECT
2688.81/2695.86 c #Conflicts: 760000 | #Constraints: 29729
2688.81/2695.86 c #Conflicts: 761000 | #Constraints: 30729
2688.81/2695.86 c #Conflicts: 762000 | #Constraints: 31729
2688.81/2695.86 c #Conflicts: 763000 | #Constraints: 32729
2688.81/2695.86 c #Conflicts: 764000 | #Constraints: 33729
2688.81/2695.86 c #Conflicts: 765000 | #Constraints: 34729
2688.81/2695.86 c #Conflicts: 766000 | #Constraints: 35729
2688.81/2695.86 c #Conflicts: 767000 | #Constraints: 36729
2688.81/2695.86 c #Conflicts: 768000 | #Constraints: 37729
2688.81/2695.86 c #Conflicts: 769000 | #Constraints: 38729
2688.81/2695.86 c #Conflicts: 770000 | #Constraints: 39729
2688.81/2695.86 c #Conflicts: 771000 | #Constraints: 40729
2688.81/2695.86 c #Conflicts: 772000 | #Constraints: 41729
2688.81/2695.86 c #Conflicts: 773000 | #Constraints: 42729
2688.81/2695.86 c #Conflicts: 774000 | #Constraints: 43729
2688.81/2695.86 c #Conflicts: 775000 | #Constraints: 44729
2688.81/2695.86 c #Conflicts: 776000 | #Constraints: 45729
2688.81/2695.86 c #Conflicts: 777000 | #Constraints: 46729
2688.81/2695.86 c INPROCESSING
2688.81/2695.86 c GARBAGE COLLECT
2688.81/2695.86 c #Conflicts: 778000 | #Constraints: 30131
2688.81/2695.86 c #Conflicts: 779000 | #Constraints: 31131
2688.81/2695.86 c #Conflicts: 780000 | #Constraints: 32131
2688.81/2695.86 c #Conflicts: 781000 | #Constraints: 33131
2688.81/2695.86 c #Conflicts: 782000 | #Constraints: 34131
2688.81/2695.86 c #Conflicts: 783000 | #Constraints: 35131
2688.81/2695.86 c #Conflicts: 784000 | #Constraints: 36131
2688.81/2695.86 c #Conflicts: 785000 | #Constraints: 37131
2688.81/2695.86 c #Conflicts: 786000 | #Constraints: 38131
2688.81/2695.86 c #Conflicts: 787000 | #Constraints: 39131
2688.81/2695.86 c #Conflicts: 788000 | #Constraints: 40131
2688.81/2695.86 c #Conflicts: 789000 | #Constraints: 41131
2688.81/2695.86 c #Conflicts: 790000 | #Constraints: 42131
2688.81/2695.86 c #Conflicts: 791000 | #Constraints: 43131
2688.81/2695.86 c #Conflicts: 792000 | #Constraints: 44131
2688.81/2695.86 c #Conflicts: 793000 | #Constraints: 45131
2688.81/2695.86 c #Conflicts: 794000 | #Constraints: 46131
2688.81/2695.86 c #Conflicts: 795000 | #Constraints: 47131
2688.81/2695.86 c INPROCESSING
2688.81/2695.86 c GARBAGE COLLECT
2688.81/2695.86 c #Conflicts: 796000 | #Constraints: 30324
2688.81/2695.86 c #Conflicts: 797000 | #Constraints: 31324
2688.81/2695.86 c #Conflicts: 798000 | #Constraints: 32324
2688.81/2695.86 c #Conflicts: 799000 | #Constraints: 33324
2688.81/2695.86 c #Conflicts: 800000 | #Constraints: 34324
2688.81/2695.86 c #Conflicts: 801000 | #Constraints: 35324
2688.81/2695.86 c #Conflicts: 802000 | #Constraints: 36324
2688.81/2695.86 c #Conflicts: 803000 | #Constraints: 37324
2688.81/2695.86 c #Conflicts: 804000 | #Constraints: 38324
2688.81/2695.86 c #Conflicts: 805000 | #Constraints: 39324
2688.81/2695.86 c #Conflicts: 806000 | #Constraints: 40324
2688.81/2695.86 c #Conflicts: 807000 | #Constraints: 41324
2688.81/2695.86 c #Conflicts: 808000 | #Constraints: 42324
2688.81/2695.86 c #Conflicts: 809000 | #Constraints: 43324
2688.81/2695.86 c #Conflicts: 810000 | #Constraints: 44324
2688.81/2695.86 c #Conflicts: 811000 | #Constraints: 45324
2688.81/2695.86 c #Conflicts: 812000 | #Constraints: 46324
2688.81/2695.86 c #Conflicts: 813000 | #Constraints: 47324
2688.81/2695.86 c INPROCESSING
2688.81/2695.86 c GARBAGE COLLECT
2688.81/2695.86 c #Conflicts: 814000 | #Constraints: 30285
2688.81/2695.86 c #Conflicts: 815000 | #Constraints: 31285
2688.81/2695.86 c #Conflicts: 816000 | #Constraints: 32285
2688.81/2695.86 c #Conflicts: 817000 | #Constraints: 33285
2688.81/2695.86 c #Conflicts: 818000 | #Constraints: 34285
2688.81/2695.86 c #Conflicts: 819000 | #Constraints: 35285
3086.27/3094.49 c #Conflicts: 820000 | #Constraints: 36285
3086.27/3094.49 c #Conflicts: 821000 | #Constraints: 37285
3086.27/3094.49 c #Conflicts: 822000 | #Constraints: 38285
3086.27/3094.49 c #Conflicts: 823000 | #Constraints: 39285
3086.27/3094.49 c #Conflicts: 824000 | #Constraints: 40285
3086.27/3094.49 c #Conflicts: 825000 | #Constraints: 41285
3086.27/3094.49 c #Conflicts: 826000 | #Constraints: 42285
3086.27/3094.49 c #Conflicts: 827000 | #Constraints: 43285
3086.27/3094.49 c #Conflicts: 828000 | #Constraints: 44285
3086.27/3094.49 c #Conflicts: 829000 | #Constraints: 45285
3086.27/3094.49 c #Conflicts: 830000 | #Constraints: 46285
3086.27/3094.49 c #Conflicts: 831000 | #Constraints: 47285
3086.27/3094.49 c INPROCESSING
3086.27/3094.49 c GARBAGE COLLECT
3086.27/3094.49 c #Conflicts: 832000 | #Constraints: 30122
3086.27/3094.49 c #Conflicts: 833000 | #Constraints: 31122
3086.27/3094.49 c #Conflicts: 834000 | #Constraints: 32122
3086.27/3094.49 c #Conflicts: 835000 | #Constraints: 33122
3086.27/3094.49 c #Conflicts: 836000 | #Constraints: 34122
3086.27/3094.49 c #Conflicts: 837000 | #Constraints: 35122
3086.27/3094.49 c #Conflicts: 838000 | #Constraints: 36122
3086.27/3094.49 c #Conflicts: 839000 | #Constraints: 37122
3086.27/3094.49 c #Conflicts: 840000 | #Constraints: 38122
3086.27/3094.49 c #Conflicts: 841000 | #Constraints: 39122
3086.27/3094.49 c #Conflicts: 842000 | #Constraints: 40122
3086.27/3094.49 c #Conflicts: 843000 | #Constraints: 41122
3086.27/3094.49 c #Conflicts: 844000 | #Constraints: 42122
3086.27/3094.49 c #Conflicts: 845000 | #Constraints: 43122
3086.27/3094.49 c #Conflicts: 846000 | #Constraints: 44122
3086.27/3094.49 c #Conflicts: 847000 | #Constraints: 45122
3086.27/3094.49 c #Conflicts: 848000 | #Constraints: 46122
3086.27/3094.49 c #Conflicts: 849000 | #Constraints: 47122
3086.27/3094.49 c #Conflicts: 850000 | #Constraints: 48122
3086.27/3094.49 c INPROCESSING
3086.27/3094.49 c GARBAGE COLLECT
3086.27/3094.49 c #Conflicts: 851000 | #Constraints: 30742
3086.27/3094.49 c #Conflicts: 852000 | #Constraints: 31742
3086.27/3094.49 c #Conflicts: 853000 | #Constraints: 32742
3086.27/3094.49 c #Conflicts: 854000 | #Constraints: 33742
3086.27/3094.49 c #Conflicts: 855000 | #Constraints: 34742
3086.27/3094.49 c #Conflicts: 856000 | #Constraints: 35742
3086.27/3094.49 c #Conflicts: 857000 | #Constraints: 36742
3086.27/3094.49 c #Conflicts: 858000 | #Constraints: 37742
3086.27/3094.49 c #Conflicts: 859000 | #Constraints: 38742
3086.27/3094.49 c #Conflicts: 860000 | #Constraints: 39742
3086.27/3094.49 c #Conflicts: 861000 | #Constraints: 40742
3086.27/3094.49 c #Conflicts: 862000 | #Constraints: 41742
3086.27/3094.49 c #Conflicts: 863000 | #Constraints: 42742
3086.27/3094.49 c #Conflicts: 864000 | #Constraints: 43742
3086.27/3094.49 c #Conflicts: 865000 | #Constraints: 44742
3086.27/3094.49 c #Conflicts: 866000 | #Constraints: 45742
3086.27/3094.49 c #Conflicts: 867000 | #Constraints: 46742
3086.27/3094.49 c #Conflicts: 868000 | #Constraints: 47742
3086.27/3094.49 c #Conflicts: 869000 | #Constraints: 48742
3086.27/3094.49 c INPROCESSING
3086.27/3094.49 c GARBAGE COLLECT
3086.27/3094.49 c #Conflicts: 870000 | #Constraints: 31127
3086.27/3094.49 c #Conflicts: 871000 | #Constraints: 32127
3086.27/3094.49 c #Conflicts: 872000 | #Constraints: 33127
3086.27/3094.49 c #Conflicts: 873000 | #Constraints: 34127
3086.27/3094.49 c #Conflicts: 874000 | #Constraints: 35127
3086.27/3094.49 c #Conflicts: 875000 | #Constraints: 36127
3086.27/3094.49 c #Conflicts: 876000 | #Constraints: 37127
3086.27/3094.49 c #Conflicts: 877000 | #Constraints: 38127
3086.27/3094.49 c #Conflicts: 878000 | #Constraints: 39127
3086.27/3094.49 c #Conflicts: 879000 | #Constraints: 40127
3086.27/3094.49 c #Conflicts: 880000 | #Constraints: 41127
3086.27/3094.49 c #Conflicts: 881000 | #Constraints: 42127
3086.27/3094.49 c #Conflicts: 882000 | #Constraints: 43127
3086.27/3094.49 c #Conflicts: 883000 | #Constraints: 44127
3086.27/3094.49 c #Conflicts: 884000 | #Constraints: 45127
3086.27/3094.49 c #Conflicts: 885000 | #Constraints: 46127
3086.27/3094.49 c #Conflicts: 886000 | #Constraints: 47127
3086.27/3094.49 c #Conflicts: 887000 | #Constraints: 48127
3086.27/3094.49 c #Conflicts: 888000 | #Constraints: 49127
3086.27/3094.49 c INPROCESSING
3086.27/3094.49 c GARBAGE COLLECT
3086.27/3094.49 c #Conflicts: 889000 | #Constraints: 31346
3086.27/3094.49 c #Conflicts: 890000 | #Constraints: 32346
3086.27/3094.49 c #Conflicts: 891000 | #Constraints: 33346
3086.27/3094.49 c #Conflicts: 892000 | #Constraints: 34346
3086.27/3094.49 c #Conflicts: 893000 | #Constraints: 35346
3086.27/3094.49 c #Conflicts: 894000 | #Constraints: 36346
3086.27/3094.49 c #Conflicts: 895000 | #Constraints: 37346
3409.64/3418.75 c #Conflicts: 896000 | #Constraints: 38346
3409.64/3418.75 c #Conflicts: 897000 | #Constraints: 39346
3409.64/3418.75 c #Conflicts: 898000 | #Constraints: 40346
3409.64/3418.75 c #Conflicts: 899000 | #Constraints: 41346
3409.64/3418.75 c #Conflicts: 900000 | #Constraints: 42346
3409.64/3418.75 c #Conflicts: 901000 | #Constraints: 43346
3409.64/3418.75 c #Conflicts: 902000 | #Constraints: 44346
3409.64/3418.75 c #Conflicts: 903000 | #Constraints: 45346
3409.64/3418.75 c #Conflicts: 904000 | #Constraints: 46346
3409.64/3418.75 c #Conflicts: 905000 | #Constraints: 47346
3409.64/3418.75 c #Conflicts: 906000 | #Constraints: 48346
3409.64/3418.75 c #Conflicts: 907000 | #Constraints: 49346
3409.64/3418.75 c INPROCESSING
3409.64/3418.75 c GARBAGE COLLECT
3409.64/3418.75 c #Conflicts: 908000 | #Constraints: 31353
3409.64/3418.75 c #Conflicts: 909000 | #Constraints: 32353
3409.64/3418.75 c #Conflicts: 910000 | #Constraints: 33353
3409.64/3418.75 c #Conflicts: 911000 | #Constraints: 34353
3409.64/3418.75 c #Conflicts: 912000 | #Constraints: 35353
3409.64/3418.75 c #Conflicts: 913000 | #Constraints: 36353
3409.64/3418.75 c #Conflicts: 914000 | #Constraints: 37353
3409.64/3418.75 c #Conflicts: 915000 | #Constraints: 38353
3409.64/3418.75 c #Conflicts: 916000 | #Constraints: 39353
3409.64/3418.75 c #Conflicts: 917000 | #Constraints: 40353
3409.64/3418.75 c #Conflicts: 918000 | #Constraints: 41353
3409.64/3418.75 c #Conflicts: 919000 | #Constraints: 42353
3409.64/3418.75 c #Conflicts: 920000 | #Constraints: 43353
3409.64/3418.75 c #Conflicts: 921000 | #Constraints: 44353
3409.64/3418.75 c #Conflicts: 922000 | #Constraints: 45353
3409.64/3418.75 c #Conflicts: 923000 | #Constraints: 46353
3409.64/3418.75 c #Conflicts: 924000 | #Constraints: 47353
3409.64/3418.75 c #Conflicts: 925000 | #Constraints: 48353
3409.64/3418.75 c #Conflicts: 926000 | #Constraints: 49353
3409.64/3418.75 c INPROCESSING
3409.64/3418.75 c GARBAGE COLLECT
3409.64/3418.75 c #Conflicts: 927000 | #Constraints: 31175
3409.64/3418.75 c #Conflicts: 928000 | #Constraints: 32175
3409.64/3418.75 c #Conflicts: 929000 | #Constraints: 33175
3409.64/3418.75 c #Conflicts: 930000 | #Constraints: 34175
3409.64/3418.75 c #Conflicts: 931000 | #Constraints: 35175
3409.64/3418.75 c #Conflicts: 932000 | #Constraints: 36175
3409.64/3418.75 c #Conflicts: 933000 | #Constraints: 37175
3409.64/3418.75 c #Conflicts: 934000 | #Constraints: 38175
3409.64/3418.75 c #Conflicts: 935000 | #Constraints: 39175
3409.64/3418.75 c #Conflicts: 936000 | #Constraints: 40175
3409.64/3418.75 c #Conflicts: 937000 | #Constraints: 41175
3409.64/3418.75 c #Conflicts: 938000 | #Constraints: 42175
3409.64/3418.75 c #Conflicts: 939000 | #Constraints: 43175
3409.64/3418.75 c #Conflicts: 940000 | #Constraints: 44175
3409.64/3418.75 c #Conflicts: 941000 | #Constraints: 45175
3409.64/3418.75 c #Conflicts: 942000 | #Constraints: 46175
3409.64/3418.75 c #Conflicts: 943000 | #Constraints: 47175
3409.64/3418.75 c #Conflicts: 944000 | #Constraints: 48175
3409.64/3418.75 c #Conflicts: 945000 | #Constraints: 49175
3409.64/3418.75 c #Conflicts: 946000 | #Constraints: 50175
3409.64/3418.75 c INPROCESSING
3409.64/3418.75 c GARBAGE COLLECT
3409.64/3418.75 c #Conflicts: 947000 | #Constraints: 31760
3409.64/3418.75 c #Conflicts: 948000 | #Constraints: 32760
3409.64/3418.75 c #Conflicts: 949000 | #Constraints: 33760
3409.64/3418.75 c #Conflicts: 950000 | #Constraints: 34760
3409.64/3418.75 c #Conflicts: 951000 | #Constraints: 35760
3409.64/3418.75 c #Conflicts: 952000 | #Constraints: 36760
3409.64/3418.75 c #Conflicts: 953000 | #Constraints: 37760
3409.64/3418.75 c #Conflicts: 954000 | #Constraints: 38760
3409.64/3418.75 c #Conflicts: 955000 | #Constraints: 39760
3409.64/3418.75 c #Conflicts: 956000 | #Constraints: 40760
3409.64/3418.75 c #Conflicts: 957000 | #Constraints: 41760
3409.64/3418.75 c #Conflicts: 958000 | #Constraints: 42760
3409.64/3418.75 c #Conflicts: 959000 | #Constraints: 43760
3409.64/3418.75 c #Conflicts: 960000 | #Constraints: 44760
3409.64/3418.75 c #Conflicts: 961000 | #Constraints: 45760
3409.64/3418.75 c #Conflicts: 962000 | #Constraints: 46760
3409.64/3418.75 c #Conflicts: 963000 | #Constraints: 47760
3409.64/3418.75 c #Conflicts: 964000 | #Constraints: 48760
3409.64/3418.75 c #Conflicts: 965000 | #Constraints: 49760
3409.64/3418.75 c #Conflicts: 966000 | #Constraints: 50760
3409.64/3418.75 c INPROCESSING
3409.64/3418.75 c GARBAGE COLLECT
3409.64/3418.75 c #Conflicts: 967000 | #Constraints: 32161
3409.64/3418.75 c #Conflicts: 968000 | #Constraints: 33161
3409.64/3418.75 c #Conflicts: 969000 | #Constraints: 34161
3409.64/3418.75 c #Conflicts: 970000 | #Constraints: 35161
3409.64/3418.75 c #Conflicts: 971000 | #Constraints: 36161
3409.64/3418.75 c #Conflicts: 972000 | #Constraints: 37161
3600.09/3609.70 c #Conflicts: 973000 | #Constraints: 38161
3600.09/3609.70 c #Conflicts: 974000 | #Constraints: 39161
3600.09/3609.70 c #Conflicts: 975000 | #Constraints: 40161
3600.09/3609.70 c #Conflicts: 976000 | #Constraints: 41161
3600.09/3609.70 c #Conflicts: 977000 | #Constraints: 42161
3600.09/3609.70 c #Conflicts: 978000 | #Constraints: 43161
3600.09/3609.70 c #Conflicts: 979000 | #Constraints: 44161
3600.09/3609.70 c #Conflicts: 980000 | #Constraints: 45161
3600.09/3609.70 c #Conflicts: 981000 | #Constraints: 46161
3600.09/3609.70 c #Conflicts: 982000 | #Constraints: 47161
3600.09/3609.70 c #Conflicts: 983000 | #Constraints: 48161
3600.09/3609.70 c #Conflicts: 984000 | #Constraints: 49161
3600.09/3609.70 c #Conflicts: 985000 | #Constraints: 50161
3600.09/3609.70 c #Conflicts: 986000 | #Constraints: 51161
3600.09/3609.70 c INPROCESSING
3600.09/3609.70 c GARBAGE COLLECT
3600.09/3609.70 c #Conflicts: 987000 | #Constraints: 32336
3600.09/3609.70 c #Conflicts: 988000 | #Constraints: 33336
3600.09/3609.70 c #Conflicts: 989000 | #Constraints: 34336
3600.09/3609.70 c #Conflicts: 990000 | #Constraints: 35336
3600.09/3609.70 c #Conflicts: 991000 | #Constraints: 36336
3600.09/3609.70 c #Conflicts: 992000 | #Constraints: 37336
3600.09/3609.70 c #Conflicts: 993000 | #Constraints: 38336
3600.09/3609.70 c #Conflicts: 994000 | #Constraints: 39336
3600.09/3609.70 c #Conflicts: 995000 | #Constraints: 40336
3600.09/3609.70 c #Conflicts: 996000 | #Constraints: 41336
3600.09/3609.70 c #Conflicts: 997000 | #Constraints: 42336
3600.09/3609.70 c #Conflicts: 998000 | #Constraints: 43336
3600.09/3609.70 c #Conflicts: 999000 | #Constraints: 44336
3600.09/3609.70 c #Conflicts: 1000000 | #Constraints: 45336
3600.09/3609.70 c #Conflicts: 1001000 | #Constraints: 46336
3600.09/3609.70 c #Conflicts: 1002000 | #Constraints: 47336
3600.09/3609.70 c #Conflicts: 1003000 | #Constraints: 48336
3600.09/3609.70 c #Conflicts: 1004000 | #Constraints: 49336
3600.09/3609.70 c #Conflicts: 1005000 | #Constraints: 50336
3600.09/3609.70 c #Conflicts: 1006000 | #Constraints: 51336
3600.09/3609.70 c INPROCESSING
3600.09/3609.70 c GARBAGE COLLECT
3600.09/3609.70 c #Conflicts: 1007000 | #Constraints: 32352
3600.09/3609.70 c #Conflicts: 1008000 | #Constraints: 33352
3600.09/3609.70 c #Conflicts: 1009000 | #Constraints: 34352
3600.09/3609.70 c #Conflicts: 1010000 | #Constraints: 35352
3600.09/3609.70 c #Conflicts: 1011000 | #Constraints: 36352
3600.09/3609.70 c #Conflicts: 1012000 | #Constraints: 37352
3600.09/3609.70 c #Conflicts: 1013000 | #Constraints: 38352
3600.09/3609.70 c #Conflicts: 1014000 | #Constraints: 39352
3600.09/3609.70 c #Conflicts: 1015000 | #Constraints: 40352
3600.09/3609.70 c #Conflicts: 1016000 | #Constraints: 41352
3600.09/3609.70 c #Conflicts: 1017000 | #Constraints: 42352
3600.09/3609.70 c cpu time 3574.96 s
3600.09/3609.70 c deterministic time 1 1.00e+00
3600.09/3609.70 c optimization time 3574.89 s
3600.09/3609.70 c total solve time 0 s
3600.09/3609.70 c core-guided solve time 0 s
3600.09/3609.70 c propagation time 0.0066 s
3600.09/3609.70 c conflict analysis time 0 s
3600.09/3609.70 c propagations 0
3600.09/3609.70 c resolve steps 0
3600.09/3609.70 c decisions 0
3600.09/3609.70 c conflicts 0
3600.09/3609.70 c restarts 0
3600.09/3609.70 c inprocessing phases 0
3600.09/3609.70 c garbage collections 0 ,( -nan )
3600.09/3609.70 c input clauses 22575 ,( 100.00 )
3600.09/3609.70 c input cardinalities 0 ,( 0.00 )
3600.09/3609.70 c input general constraints 0 ,( 0.00 )
3600.09/3609.70 c input average constraint length 2.98
3600.09/3609.70 c input average constraint degree 1.00
3600.09/3609.70 c learned clauses 0 ,( 0.00 )
3600.09/3609.70 c learned cardinalities 0 ,( 0.00 )
3600.09/3609.70 c learned general constraints 0 ,( 0.00 )
3600.09/3609.70 c learned average constraint length 0.00
3600.09/3609.70 c learned average constraint degree 0.00
3600.09/3609.70 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3609.70 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.09/3609.70 c watched constraints 0 ,( -nan )
3600.09/3609.70 c counting constraints 0 ,( -nan )
3600.09/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3609.70 c gcd simplifications 0
3600.09/3609.70 c detected cardinalities 0
3600.09/3609.70 c weakened non-implied lits 0
3600.09/3609.70 c weakened non-implying lits 0
3600.09/3609.70 c original variables 11400
3600.09/3609.70 c clausal propagations 0
3600.09/3609.70 c cardinality propagations 0
3600.09/3609.70 c watched propagations 0
3600.09/3609.70 c counting propagations 0
3600.09/3609.70 c watch lookups 0
3600.09/3609.70 c watch backjump lookups 0
3600.09/3609.70 c watch checks 0
3600.09/3609.70 c propagation checks 0
3600.09/3609.70 c constraint additions 0
3600.09/3609.70 c trail pops 0
3600.09/3609.70 c formula constraints 22575
3600.09/3609.70 c learned constraints 0
3600.09/3609.70 c bound constraints 0
3600.09/3609.70 c core-guided constraints 0
3600.09/3609.70 c encountered formula constraints 0
3600.09/3609.70 c encountered learned constraints 0
3600.09/3609.70 c encountered bound constraints 0
3600.09/3609.70 c encountered core-guided constraints 0
3600.09/3609.70 c LP total time 0 s
3600.09/3609.70 c LP solve time 0 s
3600.09/3609.70 c LP constraints added 0
3600.09/3609.70 c LP constraints removed 0
3600.09/3609.70 c LP pivots internal 0
3600.09/3609.70 c LP pivots root 0
3600.09/3609.70 c LP calls 0
3600.09/3609.70 c LP optimalities 0
3600.09/3609.70 c LP no pivot count 0
3600.09/3609.70 c LP infeasibilities 0
3600.09/3609.70 c LP valid Farkas constraints 0
3600.09/3609.70 c LP learned Farkas constraints 0
3600.09/3609.70 c LP basis resets 0
3600.09/3609.70 c LP cycling count 0
3600.09/3609.70 c LP singular count 0
3600.09/3609.70 c LP no primal count 0
3600.09/3609.70 c LP no farkas count 0
3600.09/3609.70 c LP other issue count 0
3600.09/3609.70 c LP Gomory cuts 0
3600.09/3609.70 c LP learned cuts 0
3600.09/3609.70 c LP deleted cuts 0
3600.09/3609.70 c LP encountered Gomory constraints 0
3600.09/3609.70 c LP encountered Farkas constraints 0
3600.09/3609.70 c LP encountered learned Farkas constraints 0
3600.09/3609.70 c CG auxiliary variables introduced 0
3600.09/3609.70 c CG solutions found 0
3600.09/3609.70 c CG cores constructed 0
3600.09/3609.70 c CG core cardinality constraints returned 0
3600.09/3609.70 c CG unit cores 0
3600.09/3609.70 c CG single cores 0
3600.09/3609.70 c CG blocks removed during cardinality reduction 0
3600.09/3609.70 c CG first core best 0
3600.09/3609.70 c CG decision core best 0
3600.09/3609.70 c CG core reduction tie 0
3600.09/3609.70 c CG core degree average 0.00
3600.09/3609.70 c CG core slack average 0.00
3600.09/3609.70 c CG core upper bound improvements 0
3600.09/3609.70 c STR number of successful calls 0
3600.09/3609.70 c STR number of unsuccessful calls 0
3600.09/3609.70 c STR number of inconclusive calls 0
3600.09/3609.70 c STR number of successful attempts 0
3600.09/3609.70 c STR number of unsuccessful attempts 0
3600.09/3609.70 c STR number of inconclusive attempts 0
3600.09/3609.70 c STR average degree increase per successful call inf
3600.09/3609.70 c STR average degree increase per successful attempt inf
3600.09/3609.70 c STR total number of conflicts for successful attempts 0
3600.09/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.70 c STR average number of conflicts per successful attempt inf
3600.09/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.70 c AVG.sumWPerc -nan
3600.09/3609.70 c bigint constraints 0
3600.09/3609.70 s UNKNOWN
3600.09/3609.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (50127 MiB free)
memory of node 1: 64465 MiB (55264 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518824-1751547736/watcher-4518824-1751547736 -o /tmp/evaluation-result-4518824-1751547736/solver-4518824-1751547736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751543886-77531 --watchdog 3760 run-opt.sh HOME/instance-4518824-1751547736.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=78402, runsolver pid=78399
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.08 4.09 5/270 78404
/proc/meminfo: memFree=107904960/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=80304 memory=30976 CPUtime=0.08 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 4902 0 0 0 6 2 0 0 20 0 1 0 70451454 82231296 7744 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 20076 7744 2208 1147 0 7503 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 84496 KiB
Current children cumulated memory: 33920 KiB
[startup+0.205648 s]*
/proc/loadavg: 4.10 4.08 4.09 5/270 78404
/proc/meminfo: memFree=107897084/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=95012 memory=47136 CPUtime=0.18 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 7886 0 0 0 14 4 0 0 20 0 1 0 70451454 97292288 11784 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 23753 11784 2304 1147 0 11180 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 99204 KiB
Current children cumulated memory: 50080 KiB
[startup+0.305675 s]*
/proc/loadavg: 4.10 4.08 4.09 5/270 78404
/proc/meminfo: memFree=107880892/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=115624 memory=67788 CPUtime=0.29 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 12037 0 0 0 24 5 0 0 20 0 1 0 70451454 118398976 16947 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 28906 16947 2304 1147 0 16333 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 119816 KiB
Current children cumulated memory: 70732 KiB
[startup+0.700197 s]
/proc/loadavg: 4.10 4.08 4.09 5/270 78404
/proc/meminfo: memFree=107848508/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=161860 memory=103912 CPUtime=0.68 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 17508 0 0 0 62 6 0 0 20 0 1 0 70451454 165744640 25978 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 40465 25978 2304 1147 0 27892 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 166052 KiB
Current children cumulated memory: 106856 KiB
[startup+1.5002 s]
/proc/loadavg: 4.10 4.08 4.09 5/270 78404
/proc/meminfo: memFree=107790292/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=288444 memory=221724 CPUtime=1.48 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 40819 0 0 0 137 11 0 0 20 0 1 0 70451454 295366656 55431 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 72111 55431 2304 1147 0 59538 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 292636 KiB
Current children cumulated memory: 224668 KiB
[startup+3.10583 s]
/proc/loadavg: 4.09 4.08 4.08 5/270 78404
/proc/meminfo: memFree=107598720/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=468068 memory=346912 CPUtime=3.07 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 62911 0 0 0 291 16 0 0 20 0 1 0 70451454 479301632 86728 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 117017 86728 2336 1147 0 104444 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 472260 KiB
Current children cumulated memory: 349856 KiB
[startup+6.30015 s]
/proc/loadavg: 4.09 4.08 4.08 5/270 78404
/proc/meminfo: memFree=107372292/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=737800 memory=567132 CPUtime=6.26 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 103641 0 0 0 600 26 0 0 20 0 1 0 70451454 755507200 141783 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 184450 141783 2336 1147 0 171877 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 741992 KiB
Current children cumulated memory: 570076 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.08 5/270 78404
/proc/meminfo: memFree=107364228/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=755688 memory=581476 CPUtime=12.64 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 106236 0 0 0 1233 31 0 0 20 0 1 0 70451454 773824512 145369 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 188922 145369 2336 1147 0 176349 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 759880 KiB
Current children cumulated memory: 584420 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.08 5/270 78404
/proc/meminfo: memFree=107334944/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=757900 memory=599156 CPUtime=25.42 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 107086 0 0 0 2501 41 0 0 20 0 1 0 70451454 776089600 149789 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 189475 149789 2336 1147 0 176902 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 762092 KiB
Current children cumulated memory: 602100 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.08 4.09 5/270 78405
/proc/meminfo: memFree=107329604/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=757900 memory=599412 CPUtime=50.95 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 107156 0 0 0 5040 55 0 0 20 0 1 0 70451454 776089600 149853 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 189475 149853 2336 1147 0 176902 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 762092 KiB
Current children cumulated memory: 602356 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/269 78407
/proc/meminfo: memFree=107304968/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=757900 memory=616580 CPUtime=102.03 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 110475 0 0 0 10105 98 0 0 20 0 1 0 70451454 776089600 154145 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 189475 154145 2336 1147 0 176902 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 762092 KiB
Current children cumulated memory: 619524 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 78410
/proc/meminfo: memFree=107300236/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=758084 memory=617348 CPUtime=161.88 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 110694 0 0 0 16042 146 0 0 20 0 1 0 70451454 776278016 154337 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 189521 154337 2336 1147 0 176948 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 762276 KiB
Current children cumulated memory: 620292 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 78412
/proc/meminfo: memFree=107073852/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=1110948 memory=838488 CPUtime=221.73 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 150716 0 0 0 21991 182 0 0 20 0 1 0 70451454 1137610752 209622 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 277737 209622 2336 1147 0 265164 0
################
# More data... #
################
/proc/78404/statm: 519031 444224 2336 1147 0 506458 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 2080316 KiB
Current children cumulated memory: 1779840 KiB
[startup+3162.3 s]
/proc/loadavg: 4.47 4.26 4.15 5/267 78695
/proc/meminfo: memFree=111398816/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=2076512 memory=1777152 CPUtime=3153.99 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 290174 0 0 0 313085 2314 0 0 20 0 1 0 70451454 2126348288 444288 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 519128 444288 2336 1147 0 506555 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 2080704 KiB
Current children cumulated memory: 1780096 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.22 4.14 5/268 78700
/proc/meminfo: memFree=111408864/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=2076512 memory=1777152 CPUtime=3213.82 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 290181 0 0 0 319028 2354 0 0 20 0 1 0 70451454 2126348288 444288 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 519128 444288 2336 1147 0 506555 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 2080704 KiB
Current children cumulated memory: 1780096 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.20 4.14 5/268 78702
/proc/meminfo: memFree=111408260/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=2076512 memory=1777152 CPUtime=3273.64 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 290353 0 0 0 324976 2388 0 0 20 0 1 0 70451454 2126348288 444288 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 519128 444288 2336 1147 0 506555 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 2080704 KiB
Current children cumulated memory: 1780096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.17 4.13 5/269 78707
/proc/meminfo: memFree=111387436/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=2076512 memory=1777152 CPUtime=3333.47 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 290371 0 0 0 330926 2421 0 0 20 0 1 0 70451454 2126348288 444288 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 519128 444288 2336 1147 0 506555 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 2080704 KiB
Current children cumulated memory: 1780096 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.17 4.13 5/269 78755
/proc/meminfo: memFree=111625136/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=2076512 memory=1777280 CPUtime=3393.29 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 290381 0 0 0 336870 2459 0 0 20 0 1 0 70451454 2126348288 444320 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 519128 444320 2336 1147 0 506555 0
Current children cumulated CPU time: 3393.29 s
Current children cumulated vsize: 2080704 KiB
Current children cumulated memory: 1780224 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.14 4.12 5/269 78757
/proc/meminfo: memFree=111620840/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=2076512 memory=1777280 CPUtime=3453.11 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 290381 0 0 0 342833 2478 0 0 20 0 1 0 70451454 2126348288 444320 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 519128 444320 2336 1147 0 506555 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 2080704 KiB
Current children cumulated memory: 1780224 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.16 4.12 5/269 78760
/proc/meminfo: memFree=111608624/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=2076512 memory=1777280 CPUtime=3512.95 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 290505 0 0 0 348798 2497 0 0 20 0 1 0 70451454 2126348288 444320 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 519128 444320 2336 1147 0 506555 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 2080704 KiB
Current children cumulated memory: 1780224 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/269 78773
/proc/meminfo: memFree=111590204/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=2076512 memory=1777280 CPUtime=3572.76 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 290569 0 0 0 354767 2509 0 0 20 0 1 0 70451454 2126348288 444320 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 519128 444320 2336 1147 0 506555 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 2080704 KiB
Current children cumulated memory: 1780224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.16 4.14 4.12 5/269 78775
/proc/meminfo: memFree=111590220/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=2076512 memory=1777280 CPUtime=3600.09 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 290569 0 0 0 357495 2514 0 0 20 0 1 0 70451454 2126348288 444320 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 519128 444320 2336 1147 0 506555 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2080704 KiB
Current children cumulated memory: 1780224 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.7 s]
# the end of solver process 78402 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.001886 s
Sleeping 2 seconds
[startup+3609.74 s]
# the end of solver process 78404 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3574.97 s, system=25.1744 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.16 4.14 4.12 5/269 78775
/proc/meminfo: memFree=111590220/131249996 swapFree=33004236/33010684
[pid=78402] ppid=78399 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/78402/stat : 78402 (run-opt.sh) S 78399 78402 77498 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 70451454 4292608 736 18446744073709551615 94026589827072 94026590721605 140735671650272 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94026590960656 94026591008400 94026613243904 140735671658861 140735671658984 140735671658984 140735671664586 0
/proc/78402/statm: 1048 736 672 219 0 110 0
[pid=78404] ppid=78402 vsize=2076512 memory=1777280 CPUtime=3600.09 cores=0,2
/proc/78404/stat : 78404 (roundingsat) R 78402 78402 77498 0 -1 4194304 290569 0 0 0 357495 2514 0 0 20 0 1 0 70451454 2126348288 444320 18446744073709551615 4227072 8923433 140720675258848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25501696 140720675264930 140720675265064 140720675265064 140720675270634 0
/proc/78404/statm: 519128 444320 2336 1147 0 506555 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2080704 KiB
Current children cumulated memory: 1780224 KiB
Child status: 2
Real time (s): 3609.74
CPU time (s): 3600.14
CPU user time (s): 3574.97
CPU system time (s): 25.1744
CPU usage (%): 99.7341
Max. virtual memory (cumulated for all children) (KiB): 2080704
Max. memory (cumulated for all children) (KiB): 1780224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.97
system time used= 25.1744
maximum resident set size= 1777664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290803
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 300
involuntary context switches= 7946
# summary of solver processes directly reported to runsolver:
# pid: 78402,78404
# total CPU time (s): 3600.14
# total CPU user time (s): 3574.97
# total CPU system time (s): 25.1744
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.44181 second user time and 16.1095 second system time
The end
Begin job on nodeC023 at 2025-07-03 15:02:16
IDJOB=4518824
IDBENCH=177101
IDSOLVER=3350
FILE ID=nodeC023/4518824-1751547736
RUNJOBID= nodeC023-1751543886-77531
SLURM_JOB_ID= 9598710
Free space on /tmp= 431848 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebvc/normalized-comppebvc_opt_75.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518824-1751547736/watcher-4518824-1751547736 -o /tmp/evaluation-result-4518824-1751547736/solver-4518824-1751547736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751543886-77531 --watchdog 3760 run-opt.sh HOME/instance-4518824-1751547736.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 54c9cb8452a5bc0fdf8cdacd374d003e
RANDOM SEED=1765396934
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.227
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.78
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.889
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.885
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.78
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 : 3600.335
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.885
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.78
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.786
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.709
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.024
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 107921280 kB
MemAvailable: 123686760 kB
Buffers: 16 kB
Cached: 16509616 kB
SwapCached: 592 kB
Active: 6302744 kB
Inactive: 16304500 kB
Active(anon): 6090584 kB
Inactive(anon): 20452 kB
Active(file): 212160 kB
Inactive(file): 16284048 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33004236 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8180 kB
Writeback: 32 kB
AnonPages: 6099300 kB
Mapped: 112620 kB
Shmem: 13404 kB
KReclaimable: 217020 kB
Slab: 307560 kB
SReclaimable: 217020 kB
SUnreclaim: 90540 kB
KernelStack: 4396 kB
PageTables: 17896 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 7952096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4276224 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431840 MiB
End job on nodeC023 at 2025-07-03 16:02:26