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