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