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