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