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