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