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