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