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