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