(1,18) (2,24) (3,8) (4,30) (5,15) (6,25) (7,9) (10,29) (11,26) (12,20) (13,16) (14,19) (17,27) (21,22) (23,28) 
nodes: 9959  conflicts: 61  modelTime: 1195  solveTime: 43094  totalTime: 44310  modelSize: 72263  readTime: 20 size: 15