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