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