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