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