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