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