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