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