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