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