(1,9) (2,17) (3,16) (4,13) (5,27) (6,23) (7,25) (8,20) (10,18) (11,29) (12,21) (14,15) (19,24) (22,26) (28,30) 
nodes: 1464  conflicts: 52  modelTime: 1712  solveTime: 7368  totalTime: 9102  modelSize: 72263  readTime: 22 size: 15