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