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