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