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