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