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