(1,9) (2,20) (3,23) (4,29) (5,13) (6,14) (7,17) (8,15) (10,25) (11,19) (12,18) (16,21) (22,26) (24,27) (28,30) 
nodes: 2326  conflicts: 28  modelTime: 1108  solveTime: 10240  totalTime: 11385  modelSize: 72266  readTime: 37 size: 15