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