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