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