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