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