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