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