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