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