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