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