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