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