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