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