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