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