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