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