(1,29) (2,15) (3,13) (5,23) (6,9) (7,19) (8,11) (10,25) (12,26) (14,16) (20,22) (24,27) (28,30) 
nodes: 1320  conflicts: 70  modelTime: 1168  solveTime: 3976  totalTime: 5168  modelSize: 72263  readTime: 24 size: 13