(1,23) (2,17) (3,24) (4,19) (5,20) (7,28) (8,30) (9,26) (10,22) (11,16) (12,21) (13,18) (14,25) (15,29) 
nodes: 1080  conflicts: 8  modelTime: 1181  solveTime: 2808  totalTime: 3998  modelSize: 41292  readTime: 9 size: 14