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