(2,21) (5,30) (6,11) (7,20) (8,13) (9,26) (10,18) (12,16) (14,25) (15,28) (19,23) (22,24) (27,29) 
nodes: 542  conflicts: 114  modelTime: 928  solveTime: 2489  totalTime: 3429  modelSize: 72263  readTime: 12 size: 13