(1,3) (2,21) (4,28) (5,12) (6,9) (7,8) (10,18) (11,15) (13,25) (14,20) (16,23) (17,30) (19,26) (22,24) (27,29) 
nodes: 4393  conflicts: 36  modelTime: 971  solveTime: 16922  totalTime: 17904  modelSize: 72272  readTime: 11 size: 15