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