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