(1,29) (2,27) (4,24) (5,16) (6,22) (7,25) (8,21) (9,23) (10,30) (11,28) (12,26) (13,19) (14,20) (15,18) 
nodes: 90890  conflicts: 24  modelTime: 658  solveTime: 227707  totalTime: 228371  modelSize: 41292  readTime: 6 size: 14