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