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