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