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