(1,3) (2,18) (4,30) (5,11) (7,12) (8,24) (9,28) (10,20) (13,19) (14,29) (16,21) (17,26) (23,27) 
nodes: 39441  conflicts: 107  modelTime: 1019  solveTime: 135364  totalTime: 136403  modelSize: 72262  readTime: 20 size: 13