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