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