(1,23) (2,16) (3,19) (4,18) (5,14) (6,27) (7,9) (8,11) (10,20) (12,29) (13,22) (15,26) (17,25) (21,28) (24,30) 
nodes: 22929  conflicts: 38  modelTime: 1713  solveTime: 88025  totalTime: 89757  modelSize: 72272  readTime: 19 size: 15