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