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