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