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