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