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