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