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