(1,11) (2,27) (3,23) (6,24) (7,12) (8,14) (9,29) (10,19) (13,21) (15,22) (17,18) (25,26) (28,30) 
nodes: 814  conflicts: 59  modelTime: 972  solveTime: 3457  totalTime: 4464  modelSize: 72263  readTime: 35 size: 13