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