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