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