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