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