(1,18) (2,9) (3,6) (4,22) (5,11) (7,19) (8,24) (10,16) (12,17) (13,20) (14,23) (15,28) (21,25) (26,30) (27,29) 
nodes: 35269  conflicts: 19  modelTime: 1724  solveTime: 201330  totalTime: 203085  modelSize: 72263  readTime: 31 size: 15