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