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