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