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