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