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