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