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