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