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