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