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