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