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