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