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