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