(1,8) (2,24) (3,20) (4,11) (5,9) (6,19) (7,13) (10,26) (12,21) (14,27) (15,28) (16,18) (17,25) (22,23) (29,30) 
nodes: 894394  conflicts: 16  modelTime: 963  solveTime: 4306942  totalTime: 4307977  modelSize: 72264  readTime: 72 size: 15