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