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