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