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