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