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