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