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