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