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