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