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