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