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