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