(1,8) (2,4) (3,6) (5,19) (7,10) (9,20) (11,27) (12,17) (13,23) (14,15) (16,29) (18,21) (22,28) (24,30) (25,26) 
nodes: 29756  conflicts: 38  modelTime: 936  solveTime: 98563  totalTime: 99531  modelSize: 72273  readTime: 32 size: 15